{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:26Z","timestamp":1761487886769},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419426"},{"type":"electronic","value":"9783540453970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45397-0_9","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:17:01Z","timestamp":1184588221000},"page":"276-304","source":"Crossref","is-referenced-by-count":50,"title":["On Formalizing UML with High-Level Petri Nets"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"9_CR1","unstructured":"ARTIS s.r.l., Torino, Italy. Artifex 3.1-Tutorial, 1994."},{"key":"9_CR2","unstructured":"L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997. in Italian."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"L. Baresi, A. Orso, and M. Pezz\u00e8. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pages 56\u201366. ACM Press, 1997.","DOI":"10.1145\/253228.253241"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"L. Baresi, M. Di Paola, A. Gargiulo, and M. Pezz\u00e8. LEMMA: A Language for an Easy Medical Models Analysis. In Proceedings of IEEE Computer Based Medical Systems 97, 1997. To appear.","DOI":"10.1109\/CBMS.1997.596442"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"L. Baresi and M. Pezz\u00e8. Towards Formalizing Structured Analysis. ACM Transactions on Software Engineering and Methodology, 7(1), jan 1998.","DOI":"10.1145\/268411.268429"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"B. W. Bates, J. M. Bruel, R. B. France, and M. M. Larrondo-Petrie. Guidelines for Formalizing Fusion Object-Oriented Analysis Methods. In Conference on Advanced Information Systems Engineering (CAiSE) 96, pages 222\u2013233, 1996.","DOI":"10.1007\/3-540-61292-0_13"},{"key":"9_CR7","unstructured":"G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, second edition edition, 1994."},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Design\/CPN-A Computer Tool for Coloured Petri Nets","author":"S. Christensen","year":"1997","unstructured":"S. Christensen, J. B. Joergensen, and L. M. Kristensen. Design\/CPN-A Computer Tool for Coloured Petri Nets. Lecture Notes in Computer Science, 1217, 1997."},{"key":"9_CR9","unstructured":"E. W. Dijkstra. Co-operating Sequential Processes. Academic Press, 1965."},{"key":"9_CR10","unstructured":"E. H. D\u00fcrr and N. Plat. VDM++ Language Reference Manual. Technical report, IFAD-The Institute of Applied Computer Science, 1995."},{"key":"9_CR11","volume-title":"UML Distilled: Applying the Standard Object Modeling Language","author":"M. Fowler","year":"1997","unstructured":"M. Fowler and K. Scott. UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley, Reading, Mass., 1997."},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets","author":"H. Genrich","year":"1987","unstructured":"H. Genrich. Predicate\/transition nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254\u2013255. Springer-Verlag, Berlin-New York, 1987."},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.251198","volume":"11","author":"S. Gerhart","year":"1994","unstructured":"S. Gerhart, D. Craigen, and T. Ralston. Experience with Formal Methods in Critical Systems. IEEE Software, 11(1):21\u201328, January 1994.","journal-title":"IEEE Software"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezz\u00e8. A Unified High-Level Petri Net Model For Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160\u2013172, February 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. 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":"9_CR16","unstructured":"I. Jacobson. Object-Oriented Software Engineering-A Use Case Driven Approach. ACM Press\/Addison Wesley, 1992."},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets","author":"K. Jensen","year":"1987","unstructured":"K. Jensen. Coloured Petri Nets. In W. Reisig and G. Rozemberg, editors, Advances in Petri Nets, LNCS 254\u2013255. Springer-Verlag, Berlin-New York, 1987."},{"key":"9_CR18","unstructured":"Mark V Systems. ObjectMaker User\u2019s Guide, 1994. version 3."},{"key":"9_CR19","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.","edition":"second edition"},{"key":"9_CR20","unstructured":"MicroGold Software. WithClass97 User\u2019s Guide, 1997."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"S. Morasca, M. Pezz\u00e8, and M. Trubian. Timed High Level Nets. The Journal of Real-Time Systems, pages 165\u2013189, 1991.","DOI":"10.1007\/BF00365334"},{"key":"9_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/BFb0025715","volume-title":"Graph Grammars and their Application to Computer Science and Biology","author":"M. Nagl","year":"1979","unstructured":"M. Nagl. A Tutorial and Bibliographical Survey on Graph Grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, Graph Grammars and their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, pages 70\u2013126. Springer-Verlag, 1979."},{"key":"9_CR23","unstructured":"A. Orso. An Environment for Designing Real-Time Control Systems. Technical Report 97\u201356, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"C. Petersohn, W. P. de Roever, C. Huizing, and J. Peleska. Formal Semantics for Ward & Mellor\u2019s Transformation Schemas. In D. Till, editor, Proceedings of the Sixth Refinement Workshop of the BCS FACS. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3240-0_2"},{"key":"9_CR25","volume-title":"Petri Net Theoryand the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"J. Peterson. Petri Net Theoryand the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"9_CR26","unstructured":"M. Pezz\u00e8. Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems. Technical report, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy, May 1994."},{"key":"9_CR27","volume-title":"Object-Oriented Modeling and Design","author":"J. Rambaugh","year":"1991","unstructured":"J. Rambaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, New York, NY, 1991."},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/0169-7552(94)90016-7","volume":"26","author":"O. F\u00e6rgemand","year":"1994","unstructured":"O. F\u00e6rgemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143\u20131167, 1994.","journal-title":"Computer Networks and ISDN Systems"},{"key":"9_CR29","series-title":"Lect Notes Comput Sci","first-page":"206","volume-title":"Cooperative Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc. Cooperative Nets. In R. Valette, editor, Application and Theory of Petri Nets 1994, Proceedings of the 15th International Conference, volume 815 of Lecture Notes in Computer Science, pages 206\u2013218, 1994."},{"key":"9_CR30","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"E. Y. Wang, H. A. Richter, and B. H. C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proceedings of the 19th International Conference on Software Engineering, pages 45\u201355. ACM Press, May 1997.","DOI":"10.1145\/253228.253239"}],"container-title":["Lecture Notes in Computer Science","Concurrent Object-Oriented Programming and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45397-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:25:38Z","timestamp":1556666738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45397-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419426","9783540453970"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45397-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}