On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems

Behavior permissiveness is the most important criterion in evaluating the performance of a liveness-enforcing supervisor. For a class of Petri nets, S 3 PR, this paper explores a sufficient condition under which there exists a maximally permissive monitor-based liveness-enforcing Petri net superviso...

Full description

Saved in:
Bibliographic Details
Published in2008 IEEE International Conference on Networking, Sensing and Control pp. 90 - 95
Main Authors Zhiwu Li, Shpitalni, M.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2008
Subjects
Automata
Automatic control
Condition monitoring
Control system synthesis
Discrete event systems
Flexible manufacturing systems
Petri nets
Sufficient conditions
Supervisory control
System recovery
Online AccessGet full text

Cover

More Information
Summary:Behavior permissiveness is the most important criterion in evaluating the performance of a liveness-enforcing supervisor. For a class of Petri nets, S 3 PR, this paper explores a sufficient condition under which there exists a maximally permissive monitor-based liveness-enforcing Petri net supervisor. It can be computed in an iterative way. At each iteration, a siphon is derived by the MlP-based deadlock detection method and controlled with its control depth variable being unit. We conclude that, for any S 3 PR structure N, there exists an initial marking Mo such that a maximally permissive liveness- enforcing supervisor can be always found for (N, M 0 ). The results obtained in this research are fully based on elementary siphons that are developed in our previous work. A flexible manufacturing example is used to demonstrate the proposed methodology.
ISBN:142441685X
9781424416851
DOI:10.1109/ICNSC.2008.4525189