Computation of Elementary Siphons in Petri Nets For Deadlock Control

When designing liveness-enforcing Petri net supervisors, unlike other techniques, Li et al. added control places and arcs to a plant net model for its elementary siphons only, greatly reducing the structural complexity of the controlled system. Their method, however, suffers from the expensive compu...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer journal 2006-07, Vol.49 (4), p.470-479
1. Verfasser:	Chao, D. Y.
Format:	Artikel
Sprache:	eng
Schlagworte:	Control systems Flexible manufacturing systems Integer programming Manufacturing Prevention
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!