zbMATH — the first resource for mathematics

Monitoring discrete event systems using Petri net embeddings. (English) Zbl 0934.93046
Donatelli, Susanna (ed.) et al., Application and theory of Petri nets 1999. 20th international conference, ICATPN ’99. Williamsburg, VA, USA, June 21-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1639, 188-207 (1999).
The paper presents a systematic methodology to develop monitoring capabilities for discrete event systems described by Petri nets. The approach consists of embedding the original Petri net in a larger one, which retains the functionality and properties of the given net, but introduces supplementary places, tokens and/or transitions. This procedure results in a structured redundancy, which can be used for failure detection, identification and correction under different error models, as well as for control purposes. Two monitoring schemes are discussed, referred to as separate and non-separate redundant embeddings. No particular assumption about the properties of the original discrete event system is necessary for the construction of the monitors. The monitors are robust to erroneous or incomplete information, and changes of the initial state of the Petri net do not require a repetition of the design procedure. Relevant examples and applications are offered to illustrate the proposed methods.
For the entire collection see [Zbl 0915.00049].

93C65 Discrete event control/observation systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)