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

DOI10.3233/FI-2015-1246MaRDI QIDQ2803579zbMATHOpenAlexFDO

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

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)

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

Cited in

(5)

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

Describes a project that uses

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)