Verifying Generalized Soundness of Workflow Nets
From MaRDI portal
Publication:3401950
DOI10.1007/978-3-540-70881-0_21zbMath1185.68452OpenAlexW2116818211MaRDI QIDQ3401950
Olivia Oanea, K. M. van Hee, Natalia Sidorova, Marc Voorhoeve
Publication date: 2 February 2010
Published in: Perspectives of Systems Informatics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_21
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems
Uses Software
This page was built for publication: Verifying Generalized Soundness of Workflow Nets