1369 search results - page 121 / 274 » On the Semantics of Petri Nets |
TCSV
2010
14 years 7 months ago
2010
IJKBO
2011
14 years 4 months ago
2011
107
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
ASIAN
1999
Springer
15 years 5 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...