Production based language simulation of Petri nets

1 November 1986

journal article
research article
Published by SAGE Publications in SIMULATION

Vol. 47 (5) , 191-198
https://doi.org/10.1177/003754978604700503

Abstract

Petri net models are often of limited usefulness because the sys tems they represent are too complex to be represented in a clear manner. By using a Production Based Language simulation, the number of elements that must be explicitly drawn in the net diagram can be greatly reduced. A simulation such as this sim plifies the net without compromising the integrity of the model itself. This is demonstrated here by the OPS5 Production Based Language simulation of a communications protocol Petri net. Using this simulation and an error generator, an automated method of testing the protocol is shown.

Keywords

This publication has 8 references indexed in Scilit:

Computer network analysis by using a generalized Petri network simulator
Mathematics and Computers in Simulation, 1984
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers, 1982
Simulation Graphs: a General Tool for Modeling Simulation Designs
SIMULATION, 1981
OPS5 User's Manual
Published by Defense Technical Information Center (DTIC) ,1981
Introduction to general net theory
Published by Springer Nature ,1980
Special Feature: Putting Petri Nets to Work
Computer, 1979
Specification and Validation of Protocols
IEEE Transactions on Communications, 1979
Petri nets and speed independent design
Communications of the ACM, 1973