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