M. V. Iordache and P. J. Antsaklis
In the Proceedings of the 2004 American Control Conference, pp. 4477--4482, June 2004.
Abstract -- The supervision based on place invariants (SBPI) is a very efficient technique for the enforcement of linear marking constraints on Petri nets. In this paper we first outline the SBPI and the extension of the SBPI for liveness enforcement. Then we discuss the qualities and limitations of these methods from a fault tolerance/reconfigurations perspective.
Slides available: [pdf, 115k]