155 search results - page 11 / 31 » APC Semantics for Petri Nets |
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...
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
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
LPNMR
2001
Springer
14 years 2 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...