This note shows by means of simple counterexamples that some key results presented by Luo et al. on the synthesis of maximally permissive supervisors based on the Uncontrollable Transition Gain Transformation method are incorrect. As a result, the transformation of inadmissible generalized mutual exclusion constraints for Petri nets is still an open issue.
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]
Ma Z;Li Z;GIUA, ALESSANDRO
2015-01-01
Abstract
This note shows by means of simple counterexamples that some key results presented by Luo et al. on the synthesis of maximally permissive supervisors based on the Uncontrollable Transition Gain Transformation method are incorrect. As a result, the transformation of inadmissible generalized mutual exclusion constraints for Petri nets is still an open issue.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
15aut_a_draft.pdf
Open Access dal 19/11/2016
Tipologia:
versione post-print (AAM)
Dimensione
86.15 kB
Formato
Adobe PDF
|
86.15 kB | Adobe PDF | Visualizza/Apri |
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
