{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:46Z","timestamp":1742617186070,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:04Z","timestamp":1330269604000},"page":"298-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards comprehensive support for the dynamic analysis of Petri net based models"],"prefix":"10.1007","author":[{"given":"Rudolf K.","family":"Keller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Ozkan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xijin","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"17_CR1","volume-title":"GSPN 1.6 manual","author":"G. Balbo","year":"1993","unstructured":"Gianfranco Balbo and Giovanni Chiola. GSPN 1.6 manual. University of Torino, Torino, Italy, June 1993."},{"key":"17_CR2","volume-title":"Technical Report CRIM-92\/12\/10","author":"G. v. Bochmann","year":"1992","unstructured":"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\u00e9al (CRIM), Montreal, December 1992."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Mark H. Brown. Perspectives on algorithm animation. Proceedings of the Conference on Human Factors in Computing Systems, pages 33\u201338, 1988.","DOI":"10.1145\/57167.57172"},{"key":"17_CR4","unstructured":"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."},{"key":"17_CR5","volume-title":"Technical report","author":"A. Debaque","year":"1994","unstructured":"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\u00e9al (CRIM), Montreal, Canada, March 1994."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Fritz Feldbrugge. Petri net tool overview 1992. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1993, pages 169\u2013209. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56689-9_44"},{"key":"17_CR7","volume-title":"Crim: a new model for technology development and technology transfer","author":"P. Freedman","year":"1993","unstructured":"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."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Richard Furuta and P. David Stotts. Programmable browsing semantics in Trellis. In Proceedings of the First ACM Conference on Hypertext, pages 27\u201342, Pittsburgh, PA, November 1989.","DOI":"10.1145\/74224.74227"},{"key":"17_CR9","volume-title":"CPN\/AMI environment documentation","author":"C. Girault","year":"1993","unstructured":"C. Girault and R. Estraillier(contacts). CPN\/AMI environment documentation. Universit'e Paris VI, Paris, France, November 1993."},{"key":"17_CR10","unstructured":"Grossenbacher Elektronik, St. Gallen, Switzerland. PACE: Tool Reference Manual, 1992. version 1.0.0."},{"issue":"4","key":"17_CR11","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"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\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR12","first-page":"57","volume-title":"Animation support in a user interface toolkit: Flexible, robust and reusable abstractions","author":"S. E. Hudson","year":"1993","unstructured":"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\u201367, Atlanta, GA, November 1993. ACM."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"17_CR14","first-page":"163","volume-title":"HyperRef \u2014 on-line support for research literature assessment and documentation","author":"R. K. Keller","year":"1993","unstructured":"Rudolf K. Keller, Anurag Garg, and Tao Tao. HyperRef \u2014 on-line support for research literature assessment and documentation. In Proceedings of the Eleventh Annual International Conference on Systems Documentation, pages 163\u2013175, Waterloo, Ontario, Canada, October 1993. ACM."},{"key":"17_CR15","volume-title":"Technical Report Tig-93-9","author":"R. K. Keller","year":"1993","unstructured":"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\u00e9al (CRIM), Montreal, September 1993."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013118, Singapore, July 1993.","DOI":"10.1109\/CASE.1993.634812"},{"issue":"3","key":"17_CR17","first-page":"26","volume":"1","author":"G. E. Krasner","year":"1988","unstructured":"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\u201349, August\/September 1988.","journal-title":"Journal of Object-Oriented Programming"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan. Stochastic Petri nets: An elementary introduction. 11th International Symposium on Protocol Specification, Testing, and Verification, 1991. Published as tutorial notes.","DOI":"10.1007\/3-540-52494-0_23"},{"key":"17_CR19","unstructured":"Meta Software Corporation. Design\/CPN User Manual Version 2.0, 1992."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013172, Nice, France, March 1990.","DOI":"10.1109\/ICSE.1990.63619"},{"key":"17_CR21","volume-title":"Master's thesis","author":"M. Ozkan","year":"1993","unstructured":"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."},{"key":"17_CR22","volume-title":"Handout at the Tools Fair of the Fourth International Workshop on Petri Nets and Performance Models","author":"P. Parent","year":"1991","unstructured":"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."},{"key":"17_CR23","unstructured":"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."},{"key":"17_CR24","volume-title":"Master's thesis","author":"X. Shen","year":"1994","unstructured":"Xijin Shen. Environment support for business modelling: Concepts, architecture, and implementation. Master's thesis, McGill University, Montreal, PQ, Canada, January 1994."},{"key":"17_CR25","volume-title":"Master's thesis","author":"T. Tao","year":"1993","unstructured":"Tao Tao. Applying hypertext concepts to business modelling. Master's thesis, McGill University, Montreal, PQ, Canada, July 1993."},{"issue":"3\u20131","key":"17_CR26","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","volume":"14","author":"K. S. Trivedi","year":"1992","unstructured":"K. S. Trivedi, J. K. Muppula, S. P. Woolet, and B.R. Haverkort. Composite performance and dependability analysis. Performance Evaluation, 14(3\u20131): 197\u2013215, 1992.","journal-title":"Performance Evaluation"},{"issue":"2","key":"17_CR27","first-page":"63","volume":"10","author":"A. Weinand","year":"1989","unstructured":"Andr\u00e9 Weinand, Erich Gamma, and Rudolf Marty. Design and implementation of ET++, a seamless object-oriented application framework. Structured Programming, 10(2):63\u201387, April\u2013June 1989.","journal-title":"Structured Programming"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:43Z","timestamp":1742595643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}