Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

DOI10.3233/FI-2015-1246zbMath1335.90051OpenAlexW1697040782MaRDI QIDQ2803579

Jose Antonio Mateo, Mathias Grund Sørensen, Jiří Srba

Publication date: 2 May 2016

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

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

zbMATH Keywords

verificationdecidabilitysoundness checkingtimed workflow processes

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)

Uses Software

• TAPAAL