A brief survey and synthesis of the roles of time in Petri nets.
From MaRDI portal
Publication:1597067
DOI10.1016/S0895-7177(00)00072-8zbMath1042.68613MaRDI QIDQ1597067
Publication date: 5 May 2002
Published in: Mathematical and Computer Modelling (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Coloured Petri net scheduling models: Timed state space exploration shortages, Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching, Modeling job shop scheduling with batches and setup times by timed Petri nets, Modelling reconfigurable manufacturing systems with coloured timed Petri nets, Removing dead transitions in timed-arc Petri nets
Cites Work
- Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Finding and using exact equilibrium distributions for stochastic Petri nets
- Timed processes of Timed Petri Nets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item