In 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.

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures

GIUA, ALESSANDRO
2015

Abstract

In 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.
Constraint theory; Petri nets; Backward-conflict-free uncontrollable structures; Composition technique; Constraint transformation technique; Equivalent controllable OR-GMEC; Generalized mutual exclusion constraints; Uncontrollable singular GMEC; Uncontrollable subnet; Complexity theory; Electronic mail; Law; Optical wavelength conversion; Synchronization
File in questo prodotto:
File Dimensione Formato  
15acc_a_draft.pdf

Solo gestori archivio

Tipologia: versione post-print
Dimensione 99.25 kB
Formato Adobe PDF
99.25 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: https://hdl.handle.net/11584/178032
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact