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.
Agerwala, T. "Putting Petri Nets to Work." IEEE Comput.12:12 (Dec. 1979), 85-94
2.
Bertocchi, R. ; De Antonellis, V.; and Zhang, X.W. "An Interactive Events Handling System." First International Conference on Computers and Applications. IEEE Computer Society Press , New York, N.Y. (1984), 523-532
3.
Davis, R. and King, J. "An Overview of Production Systems." Machine Intelligence8 (1977), 300-332
4.
Faro, A.; Mirabella, O.; and Nigro, C. "Computer Network Analysis By Using A Generalized Petri Network Simulator ." Mathematics and Computers in Simulation XXVI (R. Vichnevetsky, ed.) North-Holland, Amsterdam, Netherlands ( 1984), 401-411.
5.
Forgy, C.L.OPS5 User's Manual. Carnegie-Mellon University , Pittsburgh, PA. (1981)
6.
Ke, J. and Jeng. S. "Simulation and Automatic Implementation of Communication Protocols ." 1982IEEE International Large Scale Systems Symposium. IEEE, New York, N.Y. ( 1982), 284-290
7.
Mcnamara, J.E.Technical Aspects of Data Communications. Digital Press, Bedford, Mass. (1982 ).
8.
Merlin, P. "Specification and Validation of Protocols." IEEE Transactions on Communications Com. -27:11 (Nov. 1979), 1671-1679
9.
Misunas, D. "Petri Nets and Speed Independent Design." Communications of the ACM16:8 (Aug. 1973), 474-481
10.
Molloy, M. "Performance Analysis Using Stochastic Petri Nets" IEEE Transactions on ComputersC-31:9 (Sept. 1982), 913-917
11.
Ogilvie, J.W. "Petri Net Simulation Using Modula-2 Sets." Journal of Pascal and Ada2:5 (September-October 1983), 35-37
12.
Petri " Introduction to General Net Theory." In Net Theory and Applications, Lecture Notes in Computer Science ( Goos and Hartmanis, eds.). Springer-Verlag, Berlin (1980), 1-19
13.
Schumacher, F. "Modeling and Simulation of Computer Systems with Simulation Nets." Selected Papers on Operating Systems Theory and Practice (Arato and Knuth, eds.). Szamki, Budapest , Hungary (1978), 263-278.
14.
Tanenbaum, A.Computer Networks. Prentice Hall Publishers, (1980)
15.
Torn, A.A. "Simulation graphs: A general tool for modeling simulation designs ." SIMULATION (Dec. 1981), 187-194
