Soundness of Timed-Arc Workflow Nets
From MaRDI portal
Publication:5166756
DOI10.1007/978-3-319-07734-5_4zbMath1334.90064OpenAlexW2200666234MaRDI QIDQ5166756
Jose 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
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)
Related Items
Uses Software
Cites Work