ABSTRACT
Petri nets are a formal modelling tool very well suited to the description of distributed and concurrent systems which exhibit synchronization and contention for shared resources. Adding random temporal specifications to Petri nets, stochastic Petri nets are obtained from which event driven simulators can be automatically constructed. This paper discusses the double role that stochastic Petri net simulation plays as an aid in the debugging of the correctness of the model and as a vehicle for the evaluation of the efficiency of the system. A modelling tool that has been developed for these purposes is illustrated with an emphasis on the modelling environment it provides and on its internal software architecture.
- {Ajm84} M. Ajmone Marsan, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems," ACM Transactions on Computer Systems 2(1)(May 1984).]] Google ScholarDigital Library
- {Ajm87} M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Applicability of Stochastic Petri Nets to Performance Modeling," in proc. 2nd Int. Workshop Applied Mathematics & Performance/reliability Models of Computer/Communication Systems, ed. G. Iazeolla, P. J. Courtois, O. J. Boxma, North-Holland, Roma, Italy (May 1987).]]Google Scholar
- {Ajm87a} M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities," pp. 44--53 in Proc. Int. Workshop on Petri Nets and Performance Models, IEEE-CS Press, Madison, WI, USA (August 1987).]] Google ScholarDigital Library
- {Ajm89} M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets," IEEE Transactions on Software Engineering, (July 1989).]] Google ScholarDigital Library
- {Bal89} G. Balbo, G. Chiola, and G. Franceschinis, "Stochastic Petri Net Simulation for the Evaluation of Flexible Manufacturing Systems," in Proc. 1989 European Simulation Multiconference, SCS, Roma, Italy (June 1989).]]Google Scholar
- {But89} B. Butler, R. Esser, and R Mattmann, "A Distributed Simulator for High Order Petri Nets," pp. 22--34 in Proc. 10th Int. Conference on Application and Theory of Petri Nets, Bonn, Germany (June 1989).]] Google ScholarDigital Library
- {Cha81} K. M. Chandy and J. Mishra, "Asynchronous Distributed Simulation via a Sequence of Parallel Computations," Communications of the ACM 24(4) pp. 198--206 (April 1981).]] Google ScholarDigital Library
- {Chi85} G. Chiola, "A Software Package for the Analysis of Generalized Stochastic Petri Net Models," in proc. Int. Workshop on Timed Petri Nets, IEEE-CS Press, Torino, Italy (July 1985).]] Google ScholarDigital Library
- {Chi87} G. Chiola, "A Graphical Petri Net Tool for Performance Analysis," in proc. 3rd Int. Workshop on Modeling Techniques and Performance Evaluation, AFCET, Paris, France (March 1987).]]Google Scholar
- {Chi87a} G. Chiola, "Structural Analysis for Generalized Stochastic Petri Nets: Some Results and Prospects," pp. 317--332 in proc. 8th European Workshop on Application and Theory of Petri Nets, Univ. Zaragoza, Zaragoza, Spain (June 1987).]]Google Scholar
- {Chi88} G. Chiola, "Compiling Techniques for the Analysis of Stochastic Petri Nets," in proc. 4th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, AFCET, Palma de Mallorca, Spain (September 1988).]]Google Scholar
- {Col86} J. M. Colom, M. Silva, and J. L. Villarroel, "On Software Implementation of Petri Nets and Colored Petri Nets Using High-Level Concurrent Languages," pp. 207--241 in Proc. 7th European Workshop on Application and Theory of Petri Nets, Sheffield Polyt., Oxford, England (June 1986).]]Google Scholar
- {Flo85} G. Florin and S. Natkin, "Les Reseaux de Petri Stochastiques," Technique et Science Informatiques 4(1)(February 1985).]]Google Scholar
- {Gen81} H. J. Genrich and K. Lautenbach, "System Modelling with High-Level Petri Nets," Theoretical Computer Science 13 pp. 109--136 (1981).]]Google ScholarCross Ref
- {Jef87} D. J. Jefferson et. al., "Distributed Simulation and the Time Warp Operating System," pp. 77--93 in Proc. 11th ACM Symposium on Operating System Principles, ACM, Austin, TX, USA (November 1987).]] Google ScholarDigital Library
- {Jen81} K. Jensen, "Coloured Petri Nets and the Invariant Method," Theoretical Computer Science 14 pp. 317--336 (1981).]]Google ScholarCross Ref
- {Lav77} S. S. Lavenberg and C. H. Sauer, "Sequential Stopping Rules for the Regenerative Method of Simulation," IBM Journal of Res. Develop. 21 pp. 545--558 (1977).]]Google ScholarDigital Library
- {Mar81} J. Martinez and M. Silva, "A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net," in Proc. 2nd European Workshop on Application and Theory of Petri Nets, Springer Verlag, Bad Honnef, West Germany (September 1981).]] Google ScholarDigital Library
- {Mel85} B. Melamed and R. J. T. Morris, "Visual Simulation: The Performance Analysis Workstation," Computer 18(8) pp. 87--94 (August 1985).]]Google ScholarDigital Library
- {Mol82} M. K. Molloy, "Performance Analysis using Stochastic Petri Nets," IEEE Transaction on Computers C-31(9) pp. 913--917 (September 1982).]]Google ScholarDigital Library
- {Nay66} T. H. Naylor, J. L. Balintfy, D. S. Burdick, and K. Chou, Computer Simulation Techniques, Wiley, New York, NY (1966).]]Google Scholar
- {Noe73} J. D. Noe and G. J. Nutt, "Macro E-nets Representation of Parallel Systems," IEEE Transactions on Computers C-31(9) pp. 718--727 (August 1973).]]Google ScholarDigital Library
- {Nut89} G. J. Nutt, "A Flexible Distributed Simulation System," pp. 210--225 in proc. 10th Int. Conference on Application and Theory of Petri Nets, G. M. D., Bonn, Germany (June 1989).]]Google Scholar
- {Pet81} J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).]] Google ScholarDigital Library
- {Rei85} W. Reisig, Petri Nets: an Introduction, Springer Verlag (1985).]] Google ScholarDigital Library
- {Tau87} D. Taubner, "On the Implementation of Petri Nets," pp. 471--488 in proc. 8th European Workshop on Application and Theory of Petri Nets, Univ. Zaragoza, Zaragoza, Spain (June 1987).]]Google Scholar
Index Terms
- Stochastic petri net simulation
Recommendations
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange ...
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri NetsThis paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
Discrete Time Stochastic Petri Nets
Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The ...
Comments