Sciweavers

941 search results - page 52 / 189
» Haskell-Coloured Petri Nets
Sort
View
43
Voted
ICRA
2005
IEEE
103views Robotics» more  ICRA 2005»
15 years 6 months ago
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems
Fernando Tricas, Fernando García-Vall&eacut...
APN
2005
Springer
15 years 6 months ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...
ATAL
2005
Springer
15 years 6 months ago
Validation of an agent based system using Petri Nets
Thomas Moncion, Guillaume Hutzler, Patrick Amar
74
Voted
BPM
2005
Springer
82views Business» more  BPM 2005»
15 years 6 months ago
Modeling and Assessment of Production Printing Workflows Using Petri Nets
Raju N. Gottumukkala, Tong Sun
83
Voted
BPM
2005
Springer
97views Business» more  BPM 2005»
15 years 6 months ago
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective
Kamyar Sarshar, Peter Loos