Towards comprehensive support for the dynamic analysis of Petri net based models

  • Rudolf K. Keller
  • Marianne Ozkan
  • Xijin Shen
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 815)


For dynamic analysis to be a powerful and convenient instrument in system modelling, comprehensive support is required. Dynamic analysis should be embedded in an appropriate modelling environment and be supported by adequate visualization mechanisms. Such an environment may support model consistency, selective information display, hypertext-based documentation, model substitution, and complexity management; key mechanisms include flexible and comprehensive graphical simulation, a visual front-end to performance analysis, and an integrated user interface for the various dynamic analysis resolution methods. These concepts are being validated in Macrotec, a toolset for business modelling which is based on Macronets, a variation of the Petri net formalism. Preliminary results from using Macrotec indicate that the described concepts substantially facilitate dynamic analysis and may be carried over to system modelling in other domains.


Dynamic analysis Petri net Macronet environment visualization graphical simulation performance analysis business modelling tool evaluation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gianfranco Balbo and Giovanni Chiola. GSPN 1.6 manual. University of Torino, Torino, Italy, June 1993.Google Scholar
  2. 2.
    G. v. Bochmann, A. Debaque, R. Dssouli, A. Jaoua, R. Keller, N. Rico, and F. Saba. A method for architectural modelling and dynamic analysis of information systems and business processes. Technical Report CRIM-92/12/10, Centre de recherche informatique de Montréal (CRIM), Montreal, December 1992.Google Scholar
  3. 3.
    Mark H. Brown. Perspectives on algorithm animation. Proceedings of the Conference on Human Factors in Computing Systems, pages 33–38, 1988.Google Scholar
  4. 4.
    R.J.A. Buhr, G.M. Karam, C.M. Woodside, R. Casselman, G. Franks, H. Scott, and D. Bailey. TimeBench: A CAD tool for real-time system design. In Proceedings of the Second International Symposium on Environments and Tools for Ada (SETA2), Washington, D.C., January 1992.Google Scholar
  5. 5.
    Anne-Claire Debaque, Paul Freedman, Jean-Michel Goutal, Rudolf K. Keller, Michel Levy, and Fayez Saba. The ECORP approach to Petri net tool evaluation. Technical report, Centre de recherche informatique de Montréal (CRIM), Montreal, Canada, March 1994.Google Scholar
  6. 6.
    Fritz Feldbrugge. Petri net tool overview 1992. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1993, pages 169–209. Springer-Verlag, 1992.Google Scholar
  7. 7.
    Paul Freedman, Denis Roy, and Louise Quesnel. Crim: a new model for technology development and technology transfer. In Canadian Conference on Electrical and Computer Engineering, Vancouver, B.C., September 1993. IEEE.Google Scholar
  8. 8.
    Richard Furuta and P. David Stotts. Programmable browsing semantics in Trellis. In Proceedings of the First ACM Conference on Hypertext, pages 27–42, Pittsburgh, PA, November 1989.Google Scholar
  9. 9.
    C. Girault and R. Estraillier(contacts). CPN/AMI environment documentation. Universit'e Paris VI, Paris, France, November 1993.Google Scholar
  10. 10.
    Grossenbacher Elektronik, St. Gallen, Switzerland. PACE: Tool Reference Manual, 1992. version 1.0.0.Google Scholar
  11. 11.
    David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990.Google Scholar
  12. 12.
    Scott E. Hudson and John T. Stasko. Animation support in a user interface toolkit: Flexible, robust and reusable abstractions. In Proceedings of the Sixth Annual Symposium on User Interface Software and Technology, pages 57–67, Atlanta, GA, November 1993. ACM.Google Scholar
  13. 13.
    Kurt Jensen. Coloured petri nets: A high level language for system design and analysis. In G. Rozenberg, editor, Advances in Petri Nets 1990. Springer-Verlag, 1990.Google Scholar
  14. 14.
    Rudolf K. Keller, Anurag Garg, and Tao Tao. HyperRef — on-line support for research literature assessment and documentation. In Proceedings of the Eleventh Annual International Conference on Systems Documentation, pages 163–175, Waterloo, Ontario, Canada, October 1993. ACM.Google Scholar
  15. 15.
    Rudolf K. Keller, Richard Lajoie, Marianne Ozkan, Fayez Saba, Xijin Shen, and Tao Tao. Macrotec version 2.0 user manual. Technical Report Tig-93-9, Centre de recherche informatique de Montréal (CRIM), Montreal, September 1993.Google Scholar
  16. 16.
    Rudolf K. Keller, Richard Lajoie, Marianne Ozkan, Fayez Saba, Xijin Shen, Tao Tao, and G. v. Bochmann. The Macrotec toolset for CASE-based business modelling. In Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering, pages 114–118, Singapore, July 1993.Google Scholar
  17. 17.
    Glenn E. Krasner and Stephen T. Pope. A cookbook for using the model-view-controller user interface paradigm in smalltalk-80. Journal of Object-Oriented Programming, 1(3):26–49, August/September 1988.Google Scholar
  18. 18.
    M. Ajmone Marsan. Stochastic Petri nets: An elementary introduction. 11th International Symposium on Protocol Specification, Testing, and Verification, 1991. Published as tutorial notes.Google Scholar
  19. 19.
    Meta Software Corporation. Design/CPN User Manual Version 2.0, 1992.Google Scholar
  20. 20.
    H. Oswald, R. Esser, and R. Mattmann. An environment for specifying and executing hierarchical Petri nets. In Proceedings of the Twelfth International Conference on Software Engineering, pages 164–172, Nice, France, March 1990.Google Scholar
  21. 21.
    Marianne Ozkan. Visualization of the dynamic analysis of business models based on the petri net formalism. Master's thesis, McGill University, Montreal, PQ, Canada, July 1993.Google Scholar
  22. 22.
    Pierre Parent and Oryal Tanir. Voltaire: a discrete event simulator, December 1991. Computer Systems Laboratory, McGill University. Handout at the Tools Fair of the Fourth International Workshop on Petri Nets and Performance Models, Melbourne, Australia.Google Scholar
  23. 23.
    Lawrence Peters and Ron Schultz. The application of Petri-nets in object-oriented enterprise simulations. In Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, Hawaii, January 1993.Google Scholar
  24. 24.
    Xijin Shen. Environment support for business modelling: Concepts, architecture, and implementation. Master's thesis, McGill University, Montreal, PQ, Canada, January 1994.Google Scholar
  25. 25.
    Tao Tao. Applying hypertext concepts to business modelling. Master's thesis, McGill University, Montreal, PQ, Canada, July 1993.Google Scholar
  26. 26.
    K. S. Trivedi, J. K. Muppula, S. P. Woolet, and B.R. Haverkort. Composite performance and dependability analysis. Performance Evaluation, 14(3–1): 197–215, 1992.Google Scholar
  27. 27.
    André Weinand, Erich Gamma, and Rudolf Marty. Design and implementation of ET++, a seamless object-oriented application framework. Structured Programming, 10(2):63–87, April–June 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Rudolf K. Keller
    • 1
  • Marianne Ozkan
    • 1
  • Xijin Shen
    • 1
  1. 1.Centre de recherche informatique de Montréal (CRIM)1801 McGill CollegeMontréalCanada

Personalised recommendations