Soundness of timed-arc workflow nets in discrete and continuous-time semantics

DOI10.3233/FI-2015-1246zbMATH Open1335.90051OpenAlexW1697040782MaRDI QIDQ2803579FDOQ2803579

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

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

Recommendations

• Soundness of timed-arc workflow nets
• On soundness for time workflow nets
• Soundness of workflow nets with reset ARCS
• Soundness of workflow nets: classification, decidability, and analysis
• Applications and Theory of Petri Nets 2005
• Verifying generalized soundness of workflow nets
• Complexity of the soundness problem of workflow nets
• Partial order reduction for checking soundness of time workflow nets

zbMATH Keywords

verificationdecidabilitysoundness checkingtimed workflow processes

Mathematics Subject Classification ID

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

Uses Software

• TAPAAL

This page was built for publication: Soundness of timed-arc workflow nets in discrete and continuous-time semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803579)