CAISE
2003
Springer
14 years 10 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...