Sciweavers

11 search results - page 1 / 3
» The Individual and Collective Token Interpretations of Petri...
Sort
View
CONCUR
2005
Springer
13 years 10 months ago
The Individual and Collective Token Interpretations of Petri Nets
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
Rob J. van Glabbeek
ICALP
2000
Springer
13 years 8 months ago
Algebraic Models for Contextual Nets
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
Roberto Bruni, Vladimiro Sassone
APN
2001
Springer
13 years 9 months ago
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
Roberto Bruni, Vladimiro Sassone
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
13 years 9 months ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
WSC
2007
13 years 7 months ago
Semantics of petri nets: a comparison
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
Gabriel Juhás, Fedor Lehocki, Robert Lorenz