On soundness for time workflow nets

MaRDI QIDQ2642360zbMATH OpenFDO

Authors Inga Camerzan

Publication date 20 August 2007

Published in Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 5263442
• Soundness of timed-arc workflow nets in discrete and continuous-time semantics
• Soundness of timed-arc workflow nets
• Soundness of workflow nets: classification, decidability, and analysis
• Applications and Theory of Petri Nets 2005

Cited in

(8)

• Extracting the workflow critical path from the extended well-formed workflow schema
• Soundness of timed-arc workflow nets in discrete and continuous-time semantics
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
• scientific article; zbMATH DE number 1948940 (Why is no real title available?)
• Program Verification Techniques Based on the Abstract Interpretation Theory
• Partial order reduction for checking soundness of time workflow nets
• Soundness of timed-arc workflow nets
• scientific article; zbMATH DE number 5263442 (Why is no real title available?)

This page was built for publication: On soundness for time workflow nets

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