Computing the concurrency threshold of sound free-choice workflow nets

DOI10.1007/978-3-319-89963-3_1zbMath1423.68314arXiv1802.08064OpenAlexW2963405788MaRDI QIDQ2324223

Javier Esparza, Philipp J. Meyer, Hagen Völzer

Publication date: 16 September 2019

Full work available at URL: https://arxiv.org/abs/1802.08064

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• LoLA
• Cbc

This page was built for publication: Computing the concurrency threshold of sound free-choice workflow nets