236 search results - page 17 / 48 » On the Algebraic Structure of Petri Nets |
ICRA
2005
IEEE
2005
IEEE
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems
15 years 11 months ago
148
click to vote
ASIAN
1999
Springer
15 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...
194
click to vote
SIES
2007
IEEE
16 years 10 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...