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