2 search results - page 1 / 1 » A New Synchronization in Finite Stochastic Petri Box Calculu... |
69
Voted
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
116
Voted
ASIAN
1999
Springer
15 years 8 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...