UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishIn this paper we study the problem of constraint transformation for Petri nets. We consider a special class of systems in which the uncontrollable subnet is backward-conflict-free, and a new special class of GMECs called singular GMECs. We propose an algorithm to transform a given uncontrollable singular GMEC into an equivalent controllable OR-GMEC. The algorithm is based on the composition technique of GMECs.
| Titolo: | A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures |
| Autori: | |
| Data di pubblicazione: | 2015 |
| Serie: | |
| Handle: | http://hdl.handle.net/11584/178032 |
| Tipologia: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 15acc_a_draft.pdf | versione post-print | Administrator Richiedi una copia |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11584/178032
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021