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.
EnglishAbstract In this paper we study the problem of constraint transformation. We consider a special type of system in which the uncontrollable subnet is an assembly flow system, which is a subclass of backward-synchronization-backward-conflict-free Petri net. We propose an algorithm to transform a given inadmissable \GMEC\ into an equivalent admissible OR-GMEC. The algorithm is based on a technique that adds new constraints obtained by composition of elementary ones.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures |
| Autori: | |
| Data di pubblicazione: | 2014 |
| Abstract: | Abstract In this paper we study the problem of constraint transformation. We consider a special type of system in which the uncontrollable subnet is an assembly flow system, which is a subclass of backward-synchronization-backward-conflict-free Petri net. We propose an algorithm to transform a given inadmissable \GMEC\ into an equivalent admissible OR-GMEC. The algorithm is based on a technique that adds new constraints obtained by composition of elementary ones. |
| Handle: | http://hdl.handle.net/11584/178164 |
| Tipologia: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020