Soundness of timed-arc workflow nets

DOI10.1007/978-3-319-07734-5_4MaRDI QIDQ5166756zbMATH OpenOpenAlexFDO

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

Publication date 8 July 2014

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07734-5_4

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)

Recommendations

• Soundness of timed-arc workflow nets in discrete and continuous-time semantics
• Soundness of workflow nets: classification, decidability, and analysis
• On soundness for time workflow nets
• Complexity of the soundness problem of workflow nets
• Applications and Theory of Petri Nets 2005

Cites work

• Soundness of workflow nets: classification, decidability, and analysis
• TAPAAL 2.0: integrated development environment for timed-arc Petri nets

Cited in

(8)

• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• On soundness for time workflow nets
• Soundness of timed-arc workflow nets in discrete and continuous-time semantics
• Decidable classes of unbounded Petri nets with time and urgency
• Soundness of workflow nets with reset ARCS
• Partial order reduction for checking soundness of time workflow nets
• scientific article; zbMATH DE number 5263442 (Why is no real title available?)
• Fast termination and workflow nets

Describes a project that uses

Uses Software

• TAPAAL

This page was built for publication: Soundness of timed-arc workflow nets

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