Resilience to failures and reconfigurations in the supervision based on place invariants
M.V. Ioradache, Panos J. Antsaklis · 2004
The supervision based on place invariants (SBPI) is a very efficient technique for the enforcement of linear marking constraints on Petri nets. 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.