Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)
- Esparza, Javier
Publication date
January 2017
DOI Publisher
LIPIcs - Leibniz International Proceedings in Informatics. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)Abstract
We survey recent results on the development of efficient algorithms for the quantitative analysis of business processes modeled as workflow Petri nets. The algorithms can be applied to any workflow net, but have polynomial runtime in the free-choice case
Add to ORKG