| | |
Summary: Resilience to Failures and Reconfigurations in the Supervision
Based on Place Invariants
Marian V. Iordache and Panos J. Antsaklis
Abstract-- The supervision based on place invariants (SBPI)
is a very efficient technique for the enforcement of linear mark-
ing 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.
I. INTRODUCTION
The supervision based on place invariants (SBPI) [1], [2],
[3] constrains the marking µ of a plant Petri net (PN) to
satisfy specifications of the form
Lµ b (1)
where L Znc×m
, b Znc
, Z is the set of integers, m
is the number of places of the PN, and nc the number of
constraints. This class of specifications is powerful enough
for many applications [3]. In particular, in the case of safe
|
