{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:46Z","timestamp":1725564886709},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_5","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T18:49:31Z","timestamp":1283712571000},"page":"77-96","source":"Crossref","is-referenced-by-count":4,"title":["Formal Tools for Modular System Development"],"prefix":"10.1007","author":[{"given":"Lucia","family":"Pomello","sequence":"first","affiliation":[]},{"given":"Luca","family":"Bernardinello","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"5_CR2","unstructured":"Bednarczyk, M.A.: Categories of asynchronous systems. PhD Thesis, University of Sussex, pp. 1\u201388 (1988)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-44919-1_12","volume-title":"Applications and Theory of Petri Nets 2003","author":"M.A. Bednarczyk","year":"2003","unstructured":"Bednarczyk, M.A., Bernardinello, L., Caillaud, B., Pawlowski, W., Pomello, L.: Modular System Development with Pullbacks. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 140\u2013160. Springer, Heidelberg (2003)"},{"key":"5_CR4","unstructured":"Bernardinello, L.: Propri\u00e9t\u00e9s alg\u00e9briques et combinatoires des r\u00e9gions dans les graphes, et leurs application \u00e0 la synth\u00e8se de r\u00e9seaux, PhD thesis, Universit\u00e9 de Rennes I (1998)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri Nets 1992","author":"L. Bernardinello","year":"1992","unstructured":"Bernardinello, L., De Cindio, F.: A Survey of Basic Net Models and Modular Net Classes. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 304\u2013351. Springer, Heidelberg (1992)"},{"key":"5_CR6","unstructured":"Bernardinello, L., Ferigato, C., Pomello, L.: Composing Net Systems by identification of conditions, DISCO Internal Report (2001), \n                    \n                      http:\/\/www.mcd.disco.unimib.it\/pub\/compcond.ps"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-1-4757-6656-1_6","volume-title":"Synthesis and Control of Discrete Event Systems","author":"L. Bernardinello","year":"2002","unstructured":"Bernardinello, L., Ferigato, C., Pomello, L.: Towards modular synthesis of EN systems. In: Caillaud, B., et al. (eds.) Synthesis and Control of Discrete Event Systems, pp. 103\u2013113. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/S0304-3975(02)00046-4","volume":"290","author":"L. Bernardinello","year":"2003","unstructured":"Bernardinello, L., Ferigato, C., Pomello, L.: An Algebraic Model of Observable Properties in Distributed Systems. TCS\u00a0290, 637\u2013668 (2003)","journal-title":"TCS"},{"key":"5_CR9","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"E. Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2001)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Brawer","year":"1991","unstructured":"Brawer, W., Gold, R., Vogler, W.: Behaviour and equivalences Preserving Refinements of Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 1\u201346. Springer, Heidelberg (1991)"},{"key":"5_CR11","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"Castellano, L., De Michelis, G., Pomello, L.: Concurrency vs Interleaving: an instructive example. EATCS Bull.\u00a031, 12\u201315 (1987)","journal-title":"EATCS Bull."},{"key":"5_CR12","series-title":"IFB","first-page":"269","volume-title":"Application and Theory of Petri Nets 1982","author":"F. Cindio De","year":"1982","unstructured":"De Cindio, F., De Michelis, G., Pomello, L., Simone, C.: Superposed Automata Nets. In: Reisig (ed.) Application and Theory of Petri Nets 1982. IFB, vol.\u00a052, pp. 269\u2013279. Springer, Heidelberg (1982)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/3-540-50403-6_42","volume-title":"Concurrency 88","author":"F. Cindio De","year":"1988","unstructured":"De Cindio, F., De Michelis, G., Pomello, L., Simone, C.: A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality Equivalence. In: Vogt, F.H. (ed.) CONCURRENCY 1988. LNCS, vol.\u00a0335, pp. 222\u2013236. Springer, Heidelberg (1988)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","first-page":"165","volume-title":"Advances in Petri Nets 1990","author":"J. Desel","year":"1990","unstructured":"Desel, J., Merceron, A.: Vicinity Respecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 165\u2013185. Springer, Heidelberg (1990)"},{"issue":"4","key":"5_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2 structures, I & II. Acta Informatica\u00a027(4), 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"5_CR16","unstructured":"Ferigato, C.: Note su alcune propriet\u00e1 algebriche, logiche e topologiche della concorrenza. Ph.D. Thesis, Universit\u00e1 degli Studi di Milano e Torino (1996)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 21\u2013164. Springer, Heidelberg (1980)"},{"key":"5_CR18","volume-title":"Petri Nets for Systems Engineering, A Guide to Modelling, verification, and applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering, A Guide to Modelling, verification, and applications. Springer, Heidelberg (2003)"},{"key":"5_CR19","unstructured":"van Glabbeck, R.: Comparative Concurrency Semantics and Refinement of Actions. PhD. Thesis, Centrum voor Wiskunde en Informatica, Amsterdam (1990)"},{"issue":"8","key":"5_CR20","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communication of the ACM\u00a021(8), 666\u2013671 (1978)","journal-title":"Communication of the ACM"},{"key":"5_CR21","series-title":"Information and Computation","first-page":"105","volume-title":"Petri Nets are Monoids","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri Nets are Monoids. Information and Computation, vol.\u00a088, pp. 105\u2013155. Academic Press, London (1990)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Elements of Interaction, Turing Award Lecture. Communications of the ACM\u00a036(1), 78\u201389 (1993)","journal-title":"Communications of the ACM"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. Theoretical Computer Science\u00a096(1), 3\u201332 (1992)","journal-title":"Theoretical Computer Science"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF01185561","volume":"29","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems and refinement. Acta Informatica\u00a029, 555\u2013578 (1992)","journal-title":"Acta Informatica"},{"key":"5_CR26","unstructured":"Petri, C.A.: Concepts of Net theory, Mathematical Foundations of Computer Science. In: Proc. Symp. and Summer School, High Tatras, pp. 137\u2013146 (1973)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Advances in Petri Nets 1992","author":"L. Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for Net Based Systems. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 410\u2013472. Springer, Heidelberg (1992)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1007\/BF03180565","volume":"4","author":"L. Pomello","year":"1992","unstructured":"Pomello, L., Simone, C.: An Algebraic Characterization of Elementary Net System (Observable) State Space. Formal Aspects of Computing (1992)\u00a04, 612\u2013637 (1992)","journal-title":"Formal Aspects of Computing (1992)"},{"key":"5_CR29","volume-title":"Orthomodular Structures as Quantum Logics","author":"P. Pt\u00e1k","year":"1991","unstructured":"Pt\u00e1k, P., Pulmannov\u00e1, S.: Orthomodular Structures as Quantum Logics. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets I: Basic Models","author":"G. Rozenberg","year":"1998","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 12\u2013121. Springer, Heidelberg (1998)"},{"key":"5_CR31","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/978-3-642-72822-8_29","volume-title":"Concurrency and Nets","author":"E. Smith","year":"1987","unstructured":"Smith, E., Reisig, W.: The Semantics of a Net is a Net - an Exercise in General Net Theory. In: Voss, K., Genrich, H.J., Rosenberg, G. (eds.) Concurrency and Nets, pp. 461\u2013479. Springer, Heidelberg (1987)"},{"issue":"3","key":"5_CR32","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Petri Nets, Algebras, Morphisms and Compositionality. Inf. & Comput.\u00a072(3), 197\u2013238 (1987)","journal-title":"Inf. & Comput."}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:25:45Z","timestamp":1619997945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}