2026-08-06T02:51:02Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7926 2024-03-06T10:41:33Z ddc:004 open_access

Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) Esparza, Javier Free-choice Petri Nets concurrency theory quantitative verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Javier Esparza 2017 Is Part Of LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2017.2 urn:nbn:de:0030-drops-79266 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.2 eng https://creativecommons.org/licenses/by/3.0/legalcode