{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:56Z","timestamp":1725564896759},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_11","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"177-196","source":"Crossref","is-referenced-by-count":9,"title":["Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys"],"prefix":"10.1007","author":[{"given":"Giuliana","family":"Franceschinis","sequence":"first","affiliation":[]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Iacono","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Valeria","family":"Vittorini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling. In: Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark (June 2000)","DOI":"10.1007\/3-540-44988-4_5"},{"key":"11_CR2","unstructured":"Bernardi, S., Donatelli, S., Horv\u00e1th, A.: Compositionality in the greatspn tool and its use to the modelling of industrial applications. Software Tools for Technology Transfer (2001)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1995","author":"E. Best","year":"1995","unstructured":"Best, E., Flrishhacl Anf, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A class of composable high level Petri nets with an application to the semantics of B(PN)2. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935. Springer, Heidelberg (1995)"},{"issue":"11","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Transactions on Computers"},{"issue":"1&2","key":"11_CR5","first-page":"47","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools\u00a024(1&2), 47\u201368 (1995)","journal-title":"Performance Evaluation, special issue on Performance Modeling Tools"},{"key":"11_CR6","volume-title":"Proc. of the 9th Int. Workshop on Petri Nets and Performance Models","author":"G. Franceschinis","year":"2001","unstructured":"Franceschinis, G., Bertoncello, C., Bruno, G., Lungo Vaschetti, G., Pigozzi, A.: SWN models of a contact center: a case study. In: Proc. of the 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001. IEEE C.S. Press, Los Alamitos (2001)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Franceschinis, G., Marrone, S., Mazzocca, N., Vittorini, V.: SWN Client-server composition operators in the OsMoSys framework. In: Proc. of the 10th Int. Workshop on Petri Nets and Performance Models, Urbana, Illinois, USA (September 2003)","DOI":"10.1109\/PNPM.2003.1231542"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Franceschinis, G., Gribaudo, M., Iacono, M., Vittorini, V., Bertoncello, C.: DrawNet++: a flexible framework for building dependability models. In: Proc. of the Int. Conf. on Dependable Systems and Networks, Washington, DC, USA (June 2002)","DOI":"10.1109\/DSN.2002.1028961"},{"key":"11_CR9","volume-title":"Proc. of the 15th European Simulation Symposium and Exhibition","author":"M. Gribaudo","year":"2003","unstructured":"Gribaudo, M., Iacono, M., Mazzocca, N., Vittorini, V.: The OsMoSys\/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling. In: Proc. of the 15th European Simulation Symposium and Exhibition, October 2003. Delft, The Netherlands (2003)"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"11_CR11","unstructured":"Rojas, I.: Compositional construction and analysis of Petri net systems. PhDthesis, University of Edinburgh (1997)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1993","author":"C. Sibertin-Blanc","year":"1993","unstructured":"Sibertin-Blanc, C.: A client-server protocol for the composition of petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691. Springer, Heidelberg (1993)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1994","author":"C. Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc, C.: Comunicative and cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815. Springer, Heidelberg (1994)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-45397-0_7","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Sibertin-Blanc","year":"2001","unstructured":"Sibertin-Blanc, C.: CoOperative Objects: Principles, use and implementation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, p. 216. Springer, Heidelberg (2001)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-46029-2_18","volume-title":"Computer Performance Evaluation","author":"G. Franceschinis","year":"2002","unstructured":"Franceschinis, G., Gribaudo, M., Iacono, M., Mazzocca, N., Vittorini, V.: Drawnet++: Model objects to support performance analysis and simulation of complex systems. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 233. Springer, Heidelberg (2002)"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s10270-003-0039-5","volume":"3","author":"V. Vittorini","year":"2004","unstructured":"Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: OsMoSys: a new approach to multi-formalism modeling of systems. Journal of Software and System Modeling\u00a03(1), 68\u201381 (2004)","journal-title":"Journal of Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:39Z","timestamp":1620012339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}