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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
