1369 search results - page 121 / 274 » On the Semantics of Petri Nets |
TCSV
2010
13 years 5 months ago
2010
APN
2011
Springer
13 years 1 months ago
2011
Springer
IJKBO
2011
13 years 1 months ago
2011
ACSD
2003
IEEE
14 years 3 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
14 years 2 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...