On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

DOI10.3233/FI-2015-1280zbMath1359.68227OpenAlexW2242142476MaRDI QIDQ3187050

Jacek Sroka, Jan Hidders, Piotr Chrząstowski-Wachtel

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1280

zbMATH Keywords

Petri netssoundnessworkflow netshierarchical nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)