1369 search results - page 11 / 274 » On the Semantics of Petri Nets |
ENTCS
2007
13 years 7 months ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
APN
2006
Springer
13 years 11 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
AWPN
2008
13 years 9 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
COCOON
2003
Springer
14 years 27 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...