Modeling the ADA task system by Petri nets
Computer Languages
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Distributed Simulation of Petri Nets
IEEE Parallel & Distributed Technology: Systems & Technology
On Petri Nets with Stochastic Timing
International Workshop on Timed Petri Nets
SPNP: The Stochastic Petri Net Package (Version 3.1)
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
This paper reports on the design and implementation of a timed Petri net interpreter. Currently, several Petri net simulators written in the Pascal and C languages are available. However, our approach is to use an expert system language called CLIPS to write an interpreter to execute Petri nets. The major difference between a rule-based expert system language like CLIPS and languages such as Ada, C, or Pascal is that the rules of CLIPS can be activated concurrently, while the statements of other languages are sequential. In this project, we first design a Petri net language; programs written in a Petri net language can describe Petri net behavior. Then, we will design and write an interpreter in the CLIPS language that can execute Petri net programs. The CLIPS language is a data driven language, and the interpreter can search for enabled transitions for firing. With this approach, we can avoid complicated data structures and their implementations.