scientific article; zbMATH DE number 5263442
From MaRDI portal
Publication:5457700
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
Transportation, logistics and supply chain management (90B06) Stochastic network models in operations research (90B15) Production models (90B30)
Cited In (7)
- 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
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
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)
