scientific article; zbMATH DE number 5263442

zbMATH Open1134.90376MaRDI QIDQ5457700FDOQ5457700

Authors: Oana Otilia Prisecaru, J.Toader, Inga Camerzan 

Publication date: 14 April 2008

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• Program Verification Techniques Based on the Abstract Interpretation Theory
• Title not available (Why is that?)
• On soundness for time workflow nets
• Modelling and evaluation of time aspects in business processes
• Time distribution in structural workflow nets

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)