𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The specification and design of hard real-time systems using timed and temporal petri nets

✍ Scribed by J.S. Sagoo; D.J. Holding

Publisher
Elsevier Science
Year
1990
Weight
556 KB
Volume
30
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Temporal inference of workflow systems b
Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
✍ 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