Skip to main content
SpringerLink
Log in

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

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1994 (ICATPN 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 815))

Included in the following conference series:

  • 155 Accesses

Abstract

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.

This research is in part supported by research grants from NSERC, Canada, and by the IT Macroscope Project (managed by DMR Group Inc., Montréal).

Author carried out part of this research as an adjunct professor at McGill University.

Authors' contributions are part of their Master thesis research at McGill University.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gianfranco Balbo and Giovanni Chiola. GSPN 1.6 manual. University of Torino, Torino, Italy, June 1993.

    Google Scholar 

  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. Mark H. Brown. Perspectives on algorithm animation. Proceedings of the Conference on Human Factors in Computing Systems, pages 33–38, 1988.

    Google Scholar 

  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. 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. 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. 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. 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. C. Girault and R. Estraillier(contacts). CPN/AMI environment documentation. Universit'e Paris VI, Paris, France, November 1993.

    Google Scholar 

  10. Grossenbacher Elektronik, St. Gallen, Switzerland. PACE: Tool Reference Manual, 1992. version 1.0.0.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. Meta Software Corporation. Design/CPN User Manual Version 2.0, 1992.

    Google Scholar 

  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. 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. 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. 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. Xijin Shen. Environment support for business modelling: Concepts, architecture, and implementation. Master's thesis, McGill University, Montreal, PQ, Canada, January 1994.

    Google Scholar 

  25. Tao Tao. Applying hypertext concepts to business modelling. Master's thesis, McGill University, Montreal, PQ, Canada, July 1993.

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Centre de recherche informatique de Montréal (CRIM), 1801 McGill College, Suite 800, H3A 2N4, Montréal, PQ, Canada

    Rudolf K. Keller, Marianne Ozkan & Xijin Shen

Authors
  1. Rudolf K. Keller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marianne Ozkan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xijin Shen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert Valette

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Keller, R.K., Ozkan, M., Shen, X. (1994). Towards comprehensive support for the dynamic analysis of Petri net based models. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-58152-9_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58152-9

  • Online ISBN: 978-3-540-48462-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation