46 search results - page 3 / 10 » A Coloured Petri Net Trust Model |
ENTCS
2007
13 years 8 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
JACIII
2007
13 years 9 months ago
2007
FMSB
2008
13 years 10 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...