{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:57:51Z","timestamp":1757311071221},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_12","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"140-160","source":"Crossref","is-referenced-by-count":8,"title":["Modular System Development with Pullbacks"],"prefix":"10.1007","author":[{"given":"Marek A.","family":"Bednarczyk","sequence":"first","affiliation":[]},{"given":"Luca","family":"Bernardinello","sequence":"additional","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Wies\u0142aw","family":"Paw\u0142owski","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Pomello","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-60164-3_18","volume-title":"Proc. 6th Intnl. Conf. CTCS","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., and Ph. Darondeau. Dualities between nets and automata induced by schizophrenic objects. Proc. 6th Intnl. Conf. CTCS, LNCS 953, pp.: 24\u201343, Springer-Verlag, 1995."},{"key":"12_CR2","unstructured":"Bednarczyk, M. A.Categories of asynchronous systems. PhD Thesis, University of Sussex, 1\u201388, 1988."},{"issue":"1\u20134","key":"12_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.3233\/FI-2000-43123402","volume":"43","author":"M. A. Bednarczyk","year":"2000","unstructured":"Bednarczyk, M. A, Borzyszkowski, A. M. and R. Somla. Finite completeness of categories of Petri nets. Fundamenta Informaticae, 43,1\u20134, pp.: 21\u201348, 2000.","journal-title":"Fundamenta Informaticae"},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-45541-8_11","volume-title":"Unifying Petri Nets \u2014 Advances in Petri nets","author":"M. A. Bednarczyk","year":"2001","unstructured":"Bednarczyk, M. A., and A. M. Borzyszkowski. On concurrent realization of reactive systems and their morphisms. H. Ehrig et al. (eds.) Unifying Petri Nets \u2014 Advances in Petri nets, LNCS 2128, pp.: 346\u2013379, Springer-Verlag, 2001."},{"key":"12_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-56863-8_42","volume-title":"Proc. Application and Theory of Petri Nets","author":"L. Bernardinello","year":"1993","unstructured":"Bernardinello, L. Synthesis of net systems. Proc. Application and Theory of Petri Nets, LNCS 691, pp.: 89\u2013105, Springer-Verlag, 1993."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bernardinello, L, Ferigato, C and L. Pomello. Towards modular synthesis of EN systems. In B. Caillaud et al. (eds.) Synthesis and Control of Discrete Event Systems, 103\u2013113, Kluwer Academic Publishers, 2002.","DOI":"10.1007\/978-1-4757-6656-1_6"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A and G. Rozenberg. Partial (set) 2 structures, I & II. Acta Informatica, 27,4, pp.: 315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"MacLane, S.Categories for the Working Mathematician. Graduate Texts in Mathematics, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/BFb0055647","volume-title":"Proc. CONCUR\u201998","author":"R. Morin","year":"1998","unstructured":"Morin, R. Decompositions of asynchronous systems. In Proc. CONCUR\u201998, LNCS 1466, pp. 549\u2013564. Springer, 1998."},{"issue":"1","key":"12_CR10","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. and P.S. Thiagarajan. Elementary transition systems. Theoretical Computer Science, 96,1, pp.: 3\u201332, 1992.","journal-title":"Theoretical Computer Science"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF01185561","volume":"29","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G. and P.S. Thiagarajan. Elementary transition systems and refinement. Acta Informatica, 29, pp.: 555\u2013578, 1992.","journal-title":"Acta Informatica"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Shields, M.Deterministic asynchronous automata. In E. J. Neuhold and G. Chroust (Eds.) Formal Methods in Programming, pp. 317\u2013345, North-Holland, 1985.","DOI":"10.1007\/3-540-15641-0_26"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W. Notes on finite asynchronous automata. RAIRO, Informatique Th\u00e9oretique et Applications, vol. 21, pp.: 99\u2013135, 1987.","journal-title":"RAIRO, Informatique Th\u00e9oretique et Applications"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T07:52:45Z","timestamp":1587887565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}