Abstract | ||
---|---|---|
This paper is devoted to the study of the notion of spread net. A spread net is a (safe) Petri nets where each place is annotated with some information, taken from a suitable information domain, about how such place can get marked. Spread nets generalize various kinds of nets used to represent the non sequential behaviours of a safe net, like unfoldings, merged processes or trellis processes. The spreading of a net may allow to produce more compact (partially unfolded) nets representing the non sequential behaviour of a net, depending on the chosen information domain. In particular in a spread net it is possible to merge not only conflicting runs, but also to partially refold time, as spread nets allow loops in time. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.jlamp.2020.100526 | Journal of Logical and Algebraic Methods in Programming |
Keywords | DocType | Volume |
Multi-clock nets,Unfolding of nets,Spreading of nets | Journal | 112 |
ISSN | Citations | PageRank |
2352-2208 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
G. Michele Pinna | 1 | 237 | 24.80 |
Eric Fabre | 2 | 70 | 8.91 |