Sciweavers

463 search results - page 27 / 93
» Using Colored Petri Nets for Conversation Modeling
Sort
View
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
14 years 3 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
APN
2005
Springer
14 years 2 months ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...
IFIP
2004
Springer
14 years 2 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan