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 | Size | Format | |
---|---|---|---|
ICTCS2016.pdf open access
Type: versione editoriale
Size 245.78 kB
Format Adobe PDF
|
245.78 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.