Sciweavers

APN
2003
Springer
13 years 8 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert