52 search results - page 1 / 11 » Reactive Petri Nets for Workflow Modeling |
APN
2003
Springer
13 years 8 months ago
2003
Springer
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...
ECLIPSE
2005
ACM
13 years 6 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
CAISE
2003
Springer
13 years 8 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
BPM
2003
Springer
13 years 8 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...