Compacting Petri nets behaviors means to develop a more succinct representation of all the possible executions of a net, still giving the capability to reason on properties fulfilled by the computations of the net. To do so suitable equivalences on alternative executions have to be engineered. We introduce a general notion of merging relation covering the existing approaches to compact behaviors, we state some properties this relation may satisfy, and we investigate on some extensions.
An unifying framework for compacting Petri nets behaviors
CASU, GIOVANNI;PINNA, GIOVANNI MICHELE
2016-01-01
Abstract
Compacting Petri nets behaviors means to develop a more succinct representation of all the possible executions of a net, still giving the capability to reason on properties fulfilled by the computations of the net. To do so suitable equivalences on alternative executions have to be engineered. We introduce a general notion of merging relation covering the existing approaches to compact behaviors, we state some properties this relation may satisfy, and we investigate on some extensions.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ICTCS2016.pdf
accesso aperto
Tipologia:
versione editoriale (VoR)
Dimensione
245.78 kB
Formato
Adobe PDF
|
245.78 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.