{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:19Z","timestamp":1725453979860},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000480","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"322-336","source":"Crossref","is-referenced-by-count":10,"title":["Representing place\/transition nets in Span(Graph)"],"prefix":"10.1007","author":[{"given":"Piergiulio","family":"Katis","sequence":"first","affiliation":[]},{"given":"N.","family":"Sabadini","sequence":"additional","affiliation":[]},{"given":"R. F. C.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky S., Interaction Categories (extended abstract), in: Theory and Formal Methods Workshop, Springer-Verlag (1993).","DOI":"10.1007\/978-1-4471-3503-6_5"},{"key":"22_CR2","unstructured":"A. Arnold, Finite transition systems, Prentice Hall, 1994."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J. B\u00e8nabou, Introduction to bicategories, in: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, pages 1\u201377, Springer-Verlag, 1967.","DOI":"10.1007\/BFb0074299"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00122683","volume":"4","author":"S. Bloom","year":"1996","unstructured":"Bloom S., Sabadini N, Walters RFC, Matrices, machines and behaviors, Applied Categorical Structures 4 (1996) 343\u2013360.","journal-title":"Applied Categorical Structures"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Cockett J.R.B. and Spooner D.A., SProc Categorically, in: Proceedings of CONCUR '94, Springer-Verlag (1994).","DOI":"10.1007\/978-3-540-48654-1_13"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"A. Carboni and R.F.C. Walters, Cartesian Bicategories I, Journal of Pure and Applied Algebra, 49, pages 11\u201332, 1987.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"22_CR7","unstructured":"Genrich H.J., Predicate\/Transition nets, in: Petri nets, LNCS 254 Springer-Verlag (1986) 207\u2013247."},{"key":"22_CR8","unstructured":"Jensen K., Coloured Petri nets, in: Petri nets, LNCS 254 Springer-Verlag (1986) 248\u2013299."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Joyal A., Nielsen M. and Winskel G., Bisimulation and open maps, in: Proceedings of the Eight Symposium on Logic in Computer Science, IEEE (1993).","DOI":"10.1109\/LICS.1993.287566"},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal A. and Street R., The geometry of tensor calculus I, in: Advances in Math. 88 (1991) 55\u2013113.","journal-title":"Advances in Math."},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal A., Street R. and Verity D., Traced monoidal categories, in: Math. Proc. Camb. Phil. Soc. 119 (1996) 447\u2013468.","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"22_CR12","unstructured":"Katis P., Categories and bicategories of processes, PhD Thesis, University of Sydney (1996)."},{"key":"22_CR13","volume-title":"Computing: Australian Theory Seminar","author":"P Katis","year":"1994","unstructured":"Katis P, Sabadini N, Walters RFC, The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney (1994)."},{"issue":"no.2","key":"22_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P Katis","year":"1997","unstructured":"Katis P, Sabadini N, Walters RFC, Bicategories of processes, Journal of Pure and Applied Algebra, 115, no.2, pp 141\u2013178, 1997.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Katis P, Sabadini N, Walters RFC, Span(Graph): A categorical algebra of transition systems, LLNCS (this volume).","DOI":"10.1007\/BFb0000479"},{"key":"22_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly G.M. and Laplaza M.L., Coherence for compact closed categories, in: Journal of Pure and Applied Algebra 19 (1980) 193\u2013213.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the working mathematician, Springer Verlag, 1970.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"22_CR18","unstructured":"Milner R., Communication and Concurrency, Prentice Hall International (1989)."},{"issue":"2","key":"22_CR19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer J. and Montanari U., Petri nets are monoids, in: Information and Computation, 88 (2) 105\u2013155 (1990).","journal-title":"Information and Computation"},{"key":"22_CR20","unstructured":"Mauri G., Sabadini N., Shammah S. and Walters R.F.C., On distributive automata, asynchronous automata and Petri nets, Preprint, 1995."},{"key":"22_CR21","first-page":"221","volume-title":"Combinatorial Mathematics and its applications","author":"R. Penrose","year":"1971","unstructured":"R. Penrose, Applications of negative dimensional torsors, in Combinatorial Mathematics and its applications, (D. J. A. Welsh, Ed.) pp. 221\u2013244, Academic Press, New York, 1971."},{"key":"22_CR22","unstructured":"Reisig W., Place\/Transition systems, in: Petri nets, LNCS 254 Springer-Verlag (1986) 117\u2013141."},{"key":"22_CR23","unstructured":"Sabadini N. and Walters R.F.C., On functions and processors: an automata-theoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93\u20137), 1993."},{"key":"22_CR24","first-page":"28","volume":"5","author":"N. Sabadini","year":"1993","unstructured":"Sabadini N., Walters R.F.C., Weld Henry, Distributive automata and asynchronous circuits, Category Theory and Computer Science 5, Amsterdam, 28\u201332, 1993.","journal-title":"Category Theory and Computer Science"},{"key":"22_CR25","unstructured":"N. Sabadini and R.F.C. Walters, On functions and processors: an automata-theoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93\u20137), 1993."},{"key":"22_CR26","unstructured":"Thiagarajan P. S., Elementary net systems, in: Petri nets, LNCS 254 Springer-Verlag (1986) 26\u201359."},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"R.F.C. Walters, Categories and Computer Science, Carslaw Publications 1991, Cambridge University Press 1992.","DOI":"10.1017\/CBO9780511608872"},{"key":"22_CR28","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S0960129500001468","volume":"2","author":"R.F.C. Walters","year":"1992","unstructured":"R.F.C. Walters, An imperative language based on distributive categories, Mathematical Structures in Computer Science, 2:249\u2013256, 1992.","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:21:24Z","timestamp":1586485284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0000480","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}