News‎ > ‎

Flow unfolding of multi-clock nets

posted Mar 4, 2014, 6:35 AM by Massimo Bartoletti   [ updated Apr 2, 2014, 4:00 AM ]
Upcoming paper (to be presented at Petri Nets 2014, Tunis, June 2014)

Flow unfolding of multi-clock nets

G. Casu and G.M. Pinna

Unfoldings of safe nets are often related to event structures: each execution of a safe net can be viewed as a configuration in the associated event structure. This allows for a clear characterization of dependencies and the conflicts between happenings of transitions in the net. This relation is somehow lost if more compact representations of the executions of safe nets are considered, e.g. in trellises or merged processes.

We introduce an unfolding, called flow unfolding, that turns out to be related to flow event structures, hence dependencies and conflict are still represented. Furthermore, this unfolding gives also a more compact representation of the executions of a safe net, similarly to what approaches like trellises or merged processes do.
Massimo Bartoletti,
Apr 2, 2014, 3:59 AM