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

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

Authors: José 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

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)

Cited In (5)

• Soundness of timed-arc workflow nets
• On soundness for time workflow nets
• Complexity of the soundness problem of bounded workflow nets
• Partial order reduction for checking soundness of time workflow nets
• Fast termination and workflow nets

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)