A brief survey and synthesis of the roles of time in Petri nets.

DOI10.1016/S0895-7177(00)00072-8zbMath1042.68613OpenAlexW2036595691MaRDI QIDQ1597067

F. D. J. Bowden

Publication date: 5 May 2002

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0895-7177(00)00072-8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Modeling job shop scheduling with batches and setup times by timed Petri nets ⋮ 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 ⋮ 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

This page was built for publication: A brief survey and synthesis of the roles of time in Petri nets.