scientific article; zbMATH DE number 5263442

MaRDI QIDQ5457700zbMATH OpenFDO

Authors Oana Otilia Prisecaru, J.Toader, Inga Camerzan

Publication date 14 April 2008

zbMATH Keywords

time delaysPetri netsoundness propertytime interval workflowers nets

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Stochastic network models in operations research (90B15) Production models (90B30)

Recommendations

• Time distribution in structural workflow nets
• On soundness for time workflow nets
• scientific article; zbMATH DE number 1747796
• Soundness of timed-arc workflow nets
• Program Verification Techniques Based on the Abstract Interpretation Theory
• Time processes for time Petri nets
• Time and Petri nets
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
• Timed processes of timed Petri nets
• Processes of timed Petri nets

Cited in

(7)

• scientific article; zbMATH DE number 2112344 (Why is no real title available?)
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Time distribution in structural workflow nets
• Modelling and evaluation of time aspects in business processes
• scientific article; zbMATH DE number 1948940 (Why is no real title available?)
• On soundness for time workflow nets
• Program Verification Techniques Based on the Abstract Interpretation Theory

This page was built for publication:

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