Resilience to Failures and Reconfigurations in the Supervision Based on Place Invariants

Marian Iordache and Panos J.Antsaklis

Proceedings of the 2004 American Control Conference, pp. 4477-4482, Boston MA, June 30-July 2, 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.

[pdf file]