158 search results - page 10 / 32 » Loose Semantics of Petri Nets |
FMSB
2008
13 years 9 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
ICCS
2004
Springer
14 years 29 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...