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.
|Titolo:||An unifying framework for compacting Petri nets behaviors|
|Data di pubblicazione:||2016|
|Tipologia:||4.1 Contributo in Atti di convegno|