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
14 years 29 days ago
JSS
2006
13 years 7 months ago
2006
CORR
2009
Springer
13 years 5 months ago
2009
Springer
ASIAN
1999
Springer
13 years 11 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...
SIES
2007
IEEE
14 years 1 months 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 ...