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

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.
Generalized mutual exclusion constraint; Petri nets; Supervisory control;
File in questo prodotto:
File Dimensione Formato  
15aut_a_draft.pdf

embargo fino al 18/11/2016

Tipologia: versione post-print
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11584/61134
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact