{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:35Z","timestamp":1725565235743},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222613"},{"type":"electronic","value":"9783540277552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27755-2_12","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T03:48:13Z","timestamp":1284436093000},"page":"439-466","source":"Crossref","is-referenced-by-count":12,"title":["Petri Nets and Software Engineering"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Denaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Young, M.: Neat models of messy problems: Notes on the interplay between solution- and problem-centered disciplines, and more particularly on the interaction between Petri net research and software engineering research. International Journal of Computer Systems Science and Engineering\u00a016 (2001)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Oswald, H., Esser, R., Mattmann, R.: An environment for specifying and executing hierarchical petri nets. In: Proceedings of the 12th International Conference on Software Engineering, pp. 164\u2013172 (1990)","DOI":"10.1109\/ICSE.1990.63619"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/201024.201038","volume":"3","author":"S. Duri","year":"1994","unstructured":"Duri, S., Buy, U., Devarapalli, R., Shatz, S.: Application and experimental evaluation of state space reduction methods for deadlock analysis in ada. ACM Transactions on Software Engineering and Methodology\u00a03, 340\u2013380 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR4","volume-title":"Proceedings of the European Conference on Software Engineering 1997","author":"J. Jahnke","year":"1997","unstructured":"Jahnke, J., Schafer, W., Zundorf, A.: Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications. In: Proceedings of the European Conference on Software Engineering 1997. Springer, Heidelberg (1997)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R., Palanque, P.: A Petri net based environment for the design of eventdriven interfaces. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935. Springer, Heidelberg (1995)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE-13","author":"N. Leveson","year":"1987","unstructured":"Leveson, N., Stolzy, J.: Safety analysis using petri nets. IEEE Transactions on Software Engineering\u00a0SE-13, 386\u2013397 (1987) 19 refs.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR7","first-page":"510","volume-title":"Proceedings of the 7th International Conference on Software Engineering","author":"P. Azema","year":"1984","unstructured":"Azema, P., Juandle, G., Sanchis, E., Montbernard, M.: Specification and verification of distributed systems using PROLOG interpreted Petri nets. In: Proceedings of the 7th International Conference on Software Engineering, pp. 510\u2013519. IEEE Computer Society Press, Los Alamitos (1984)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/32.52775","volume":"16","author":"T. Suzuki","year":"1990","unstructured":"Suzuki, T., Shatz, S.M., Murata, T.: A protocol modeling and verification approach based on a specification language and petri nets. IEEE Transactions on Software Engineering\u00a016, 523\u2013536 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Faber, D.J.: Recoverability of communication protocols. IEEE Transactions on Communication\u00a024, 1036\u20131043 (1976)","journal-title":"IEEE Transactions on Communication"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering\u00a017, 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., Pezz\u00e8, M.: A unified High-Level Petri Net formalism for time-cricical systems. IEEE Transactions on Software Engineering\u00a017, 160\u2013172 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR12","series-title":"International series in computer science","volume-title":"Realtime Systems","author":"N. Nissanke","year":"1997","unstructured":"Nissanke, N.: Realtime Systems. International series in computer science. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"T.D.C., L., A., G.: Synchronisation and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications\u00a0 8, 413\u2013427 (1990)","DOI":"10.1109\/49.53017"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Wahl, T., Rothermel, K.: Representing time in multimedia systems. In: Proceedings of the International Conference on Multimedia Computing and Systems, Boston, USA (1994)","DOI":"10.1109\/MMCS.1994.292502"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1013233517612","volume":"16","author":"R. Willrich","year":"2002","unstructured":"Willrich, R., Saqui-Sannes, P.D., Senac, P., Diaz, M.: Multimedia authoring with hierarchical timed stream Petri nets and Java. Multimedia Tools and Applications\u00a016, 7\u201327 (2002)","journal-title":"Multimedia Tools and Applications"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/9789812389701_0002","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"G. Engels","year":"2002","unstructured":"Engels, G., Sauer, S.: Object-Oriented Modeling of Multimedia Applications. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, vol.\u00a02, pp. 21\u201352. World Scientific, Singapore (2002)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","first-page":"43","volume-title":"Interactive Multimedia Documents","author":"M. Vazirgiannis","year":"1999","unstructured":"Vazirgiannis, M.: Interactive Multimedia Documents. LNCS, vol.\u00a01564, p. 43. Springer, Heidelberg (1999)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1109\/IWSSD.1991.213063","volume-title":"Proceedings of the 6th ACM\/IEEE Int. Workshop on Software Specification and Design (IWSSD)","author":"W. Emmerich","year":"1991","unstructured":"Emmerich, W., Gruhn, V.: FUNSOFT Nets: a Petri-Net based Software Process Modeling Language. In: Ghezzi, C., Roman, G. (eds.) Proceedings of the 6th ACM\/IEEE Int. Workshop on Software Specification and Design (IWSSD), Como, Italy, pp. 175\u2013184. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"12_CR19","first-page":"33","volume-title":"Software Process Modelling and Technology","author":"S. Bandinelli","year":"1994","unstructured":"Bandinelli, S., Fuggetta, A., Ghezzi, C., Lavazza, L.: SPADE: An environment for software process analysis, design, and enactment. In: Nuseibeh, B., Finkelstein, A., Kramer, J. (eds.) Software Process Modelling and Technology, pp. 33\u201370. John Wiley and Sons, Chichester (1994)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.67591","volume":"17","author":"G. Florin","year":"1991","unstructured":"Florin, G., Natkin, S.: Generalization of queueing network product form solutions to stochastic Petri nets. IEEE Transactions on Software Engineering\u00a017, 99\u2013107 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR21","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 1st edn. Addison-Wesley, Reading (1999)","edition":"1"},{"key":"12_CR22","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report Project MAC Tech. Rep. 120, Massachusetts Institute of Technology (1974)"},{"key":"12_CR23","first-page":"185","volume":"4","author":"J. Sifakis","year":"1978","unstructured":"Sifakis, J.: Use of Petri nets for performance evaluation. Acta Cybernetica\u00a04, 185\u2013202 (1978)","journal-title":"Acta Cybernetica"},{"key":"12_CR24","first-page":"2","volume-title":"Proceedings of the 9th International Conference on Software Engineering","author":"L. Osterweil","year":"1987","unstructured":"Osterweil, L.: Software processes are software too. In: Proceedings of the 9th International Conference on Software Engineering, pp. 2\u201313. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/258077.258080","volume":"6","author":"V. Ambriola","year":"1997","unstructured":"Ambriola, V., Conradi, R., Fuggetta, A.: Assessing Process-Centered Software Engineering environments. ACM Transactions on Software Engineering and Methodology\u00a06, 283\u2013328 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Paulk, M., Curtis, B., Chrissis, M., Weber, C.: Capability maturity model, version 1.1. IEEE Software\u00a010 (1993)","DOI":"10.21236\/ADA263403"},{"volume-title":"The future of software engineering (part of the Proceedings of the 22th International Conference on Software Engineering)","year":"2000","key":"12_CR27","unstructured":"Finkelstein, A. (ed.): The future of software engineering (part of the Proceedings of the 22th International Conference on Software Engineering). ACM Press, New York (2000)"},{"key":"12_CR28","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"1999","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"12_CR29","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"12_CR30","volume-title":"Software Engineering: Principles and Practice","author":"H. Vliet van","year":"1993","unstructured":"van Vliet, H.: Software Engineering: Principles and Practice. John Wiley & Sons, Chichester (1993)"},{"issue":"8","key":"12_CR31","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.56866","volume":"23","author":"J. Wing","year":"1990","unstructured":"Wing, J.: A specifier\u2019s introduction to formal methods. Computer\u00a023(8), 10\u201322 (1990)","journal-title":"Computer"},{"key":"12_CR32","first-page":"16","volume":"29","author":"H. Saiedian","year":"1996","unstructured":"Saiedian, H.: An invitation to formal methods. IEEE Computer\u00a029, 16\u201330 (1996)","journal-title":"IEEE Computer"},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis, and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR34","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 1: Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 1: Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1992)"},{"key":"12_CR35","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 2: Analysis Methods","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 2: Analysis Methods. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1995)"},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 3: Practical Uses","year":"1997","unstructured":"Jensen, K. (ed.): Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses, vol. 3: Practical Uses. LNCS, vol.\u00a01217. Springer, Heidelberg (1997)"},{"key":"12_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0","volume-title":"Concurrent object-oriented programming and Petri Nets: advances in Petri Nets","author":"G. Agha","year":"2001","unstructured":"Agha, G., Cindio, F.D., Rozenberg, G.: APN 2001. LNCS, vol.\u00a02001. Springer Inc., Heidelberg (2001)"},{"key":"12_CR38","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/32.129221","volume":"18","author":"R. France","year":"1992","unstructured":"France, R.: Semantically extended data flow diagrams: A formal specification tool. IEEE Transactions on Software Engineering\u00a018, 329\u2013346 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"P. Fencott","year":"1994","unstructured":"Fencott, P., Galloway, A., Lockyer, M., O\u2019Brien, S.: Formalising the semantics of Ward\/Mellor SA\/RT essential models using a process algebra. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873. Springer, Heidelberg (1994)"},{"key":"12_CR40","first-page":"131","volume":"13","author":"C. Petersohn","year":"1998","unstructured":"Petersohn, C., Huizing, C., Peleska, J., de Roever, W.: Formal semantics for Ward and Mellor\u2019s transformation schemas and its application to fault tolerant systems. International Journal of Computer Systems Science and Engineering\u00a013, 131\u2013136 (1998)","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"12_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1007\/3-540-60973-3_105","volume-title":"FME \u201996: Industrial Benefit and Advances in Formal Methods","author":"L. Shi","year":"1996","unstructured":"Shi, L., Nixon, P.: An improved translation of SA\/RT specification model to highlevel timed Petri nets. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol.\u00a01051, pp. 518\u2013537. Springer, Heidelberg (1996)"},{"key":"12_CR42","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/32.214833","volume":"19","author":"G. Richter","year":"1993","unstructured":"Richter, G., Maffeo, B.: Toward a rigorous interpretation of ESML-extended systems modeling language. IEEE Transactions on Software Engineering\u00a019, 165\u2013180 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"R.F. Paige","year":"1997","unstructured":"Paige, R.F.: A meta-method for formal method integration. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313. Springer, Heidelberg (1997)"},{"key":"12_CR44","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/253228.253241","volume-title":"Proceedings of the 19th International Conference on Software Engineering (ICSE 1997)","author":"L. Baresi","year":"1997","unstructured":"Baresi, L., Orso, A., Pezz\u00e8, M.: Introducing formal specification methods in industrial practice. In: Proceedings of the 19th International Conference on Software Engineering (ICSE 1997), pp. 56\u201367. ACM, New York (1997)"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.: Stochastic Petri Nets - An Introduction to the Theory. Advanced Studies in Computer Science. Vieweg Verlag (1996)","DOI":"10.1007\/978-3-663-11521-2"},{"key":"12_CR46","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M.A. Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)"},{"key":"12_CR47","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0164-1212(94)90024-8","volume":"27","author":"C. Ghezzi","year":"1994","unstructured":"Ghezzi, C., Morasca, S., Pezz\u00e8, M.: Validating timing requirements of time basic net specifications. Journal of Systems and Software\u00a027, 97\u2013117 (1994)","journal-title":"Journal of Systems and Software"},{"key":"12_CR48","first-page":"131","volume-title":"Software Process Modelling and Technology","author":"C. Montangero","year":"1994","unstructured":"Montangero, C., Ambriola, V.: OIKOS: Constructing process-centred SDEs. In: Finkelstein, A., Kramer, J., B.N.(eds.) Software Process Modelling and Technology, pp. 131\u2013151. John Wiley and Sons, Chichester (1994)"},{"key":"12_CR49","first-page":"33","volume-title":"Software Process Modelling and Technology","author":"R. Conradi","year":"1994","unstructured":"Conradi, R., Hagaseth, M., Larsen, J., Nguyen, M., Munch, B., Westby, P., Zhu, W., Jaccheri, M., Liu, C.: EPOS: Object-oriented cooperative process modeling. In: Nuseibeh, B., Finkelstein, A., Kramer, J. (eds.) Software Process Modelling and Technology, pp. 33\u201370. John Wiley and Sons, Chichester (1994)"}],"container-title":["Lecture Notes in Computer Science","Lectures on Concurrency and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27755-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:15Z","timestamp":1605759555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27755-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222613","9783540277552"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27755-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}