A brief survey and synthesis of the roles of time in petri nets

Authors:
F. D. J Bowden
Affiliations:
Information Technology Division, Defense Science and Technology Organisation P.O. Box 1500, Salisbury, South Australia 5108 Australia
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
2000

Citing 29
Cited 7

Interactive State-Space Analysis of Concurrent Systems

IEEE Transactions on Software Engineering
A Generalized Timed Petri Net Model for Performance Analysis

IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets

IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets

IEEE Transactions on Software Engineering
Finding and using exact equilibrium distributions for stochastic Petri nets

Computer Networks and ISDN Systems - Special issue: telecommunication services for developing economics
Analysis of railway stations by means of interval timed coloured Petri nets

Real-Time Systems
ALPHA/Sim simulation software tutorial

WSC '95 Proceedings of the 27th conference on Winter simulation
Petri Nets

ACM Computing Surveys (CSUR)
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications

IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets

IEEE Transactions on Software Engineering
Timed Places Petri Nets with Stochastic Representation of Place Time

International Workshop on Timed Petri Nets
On Petri Nets with Stochastic Timing

International Workshop on Timed Petri Nets
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets

International Workshop on Timed Petri Nets
On Stochastic High-Level Petri Nets

PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities

PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Functional and Performance Analysis Using Extended Time Petri Nets

PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Colored GSPN Models and Automatic Symmetry Detection

PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Performance Evaluation of Systems Using Nets

Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Use of Petri Nets for Performance Evaluation

Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Extended Stochastic Petri Nets: Applications and Analysis

Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Timed Processes of Timed Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets

Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
On Petri nets with deterministic and exponentially distributed firing times

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Transient Analysis of Deterministic and Stochastic Petri Nets

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

IEEE Transactions on Software Engineering
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

IEEE Transactions on Software Engineering
Modeling logical and temporal synchronization in hypermedia systems

IEEE Journal on Selected Areas in Communications

Implementation of time petri nets in real-time Java

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Production-process modelling based on production-management data: a Petri-net approach

International Journal of Computer Integrated Manufacturing
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets

Web Services and Formal Methods
Modelling workflows and collaboration in virtual supply chains with nested modular Petri nets

International Journal of Computer Applications in Technology
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters

Expert Systems with Applications: An International Journal
Original Articles: Coloured Petri net scheduling models: Timed state space exploration shortages

Mathematics and Computers in Simulation
Modeling job shop scheduling with batches and setup times by timed Petri nets

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.98

Visualization

Abstract

Petri nets augmented with time are interesting models which can be used for the modelling and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature of the semantics of different approaches to incorporating time in Petri nets is illustrated by examples. The paper considers the critical roles of conflict, confusion and concurrence in the formulation of execution policies. Several different methods for the analysis of timed Petri net models are also discussed. The paper then introduces a timed Petri net structure which incorporates all the other structures described.