Verifying Generalized Soundness of Workflow Nets

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

zbMATH Keywords

workflowsverificationPetri netssoundness

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)

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

• PPL

This page was built for publication: Verifying Generalized Soundness of Workflow Nets