𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Qualitative modelling based on rules, Petri nets, and differential equations

✍ Scribed by M. Kluwe; V. Krebs; J. Lunze; H. Richter


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
276 KB
Volume
39
Category
Article
ISSN
0378-4754

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Temporal inference of workflow systems b
✍ Chuang Lin; Yang Qu πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 198 KB

Recently, a significant body of research has been dedicated to the analysis and verification of workflows without taking into account the temporal dimension of activities involved. Workflow also has a strong temporal aspect: activity sequencing, deadlines, routing conditions, and scheduling all invo