{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:31Z","timestamp":1725664711500},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:57:39Z","timestamp":1330279059000},"page":"414-423","source":"Crossref","is-referenced-by-count":2,"title":["Axiomatizing Petri net concatenable processes"],"prefix":"10.1007","author":[{"given":"Vladimiro","family":"Sassone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"36_CR1","first-page":"1887","volume":"n. 256","author":"J. B\u00e9nabou","year":"1963","unstructured":"J. B\u00e9nabou. Categories with Multiplication. Comptes Rendue Acad\u00e9mie Science Paris, n. 256, pp. 1887\u20131890, 1963.","journal-title":"Comptes Rendue Acad\u00e9mie Science Paris"},{"key":"36_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"n. 55","author":"E. Best","year":"1987","unstructured":"E. Best, and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, n. 55, pp. 87\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In Proceedings of the 4th LICS Symposium, pp. 175\u2013185, IEEE, 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"36_CR4","first-page":"421","volume-title":"Closed Categories","author":"S. Eilenberg","year":"1966","unstructured":"S. Eilenberg, and G.M. Kelly. Closed Categories. In Proceedings of the Conference on Categorical Algebra, La Jolla, S. Eilenberg et al., Eds., pp. 421\u2013562, Springer, 1966."},{"key":"36_CR5","first-page":"125","volume":"n. 57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, and W. Reisig. The Non-Sequential Behaviour of Petri Nets. Information and Computation, n. 57, pp. 125\u2013147, 1983.","journal-title":"Information and Computation"},{"key":"36_CR6","first-page":"2","volume":"n. 458","author":"R. Gorrieri","year":"1990","unstructured":"R. Gorrieri, and U. Montanari. Scone: A Simple Calculus of Nets. In Proceedings of CONCUR '90, LNCS n. 458, pp. 2\u201331, 1990.","journal-title":"LNCS"},{"key":"36_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0021-8693(64)90018-3","volume":"n. 1","author":"G.M. Kelly","year":"1964","unstructured":"G.M. Kelly. On MacLane's Conditions for Coherence of Natural Associativities, Commutativities, etc. Journal of Algebra, n. 1, pp. 397\u2013402, 1964.","journal-title":"Journal of Algebra"},{"key":"36_CR8","volume-title":"PhD Thesis","author":"W. Lawvere","year":"1963","unstructured":"W. Lawvere. Functorial Semantics of Algebraic Theories. PhD Thesis, Columbia University, New York, 1963. An abstract appears in Proceedings of the National Academy of Science, n. 50, pp. 869\u2013872, 1963."},{"key":"36_CR9","first-page":"28","volume":"n. 49","author":"S. MacLane","year":"1963","unstructured":"S. MacLane. Natural Associativity and Commutativity. Rice University Studies, n. 49, pp. 28\u201346, 1963.","journal-title":"Rice University Studies"},{"key":"36_CR10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1090\/S0002-9904-1965-11234-4","volume":"n. 71","author":"S. MacLane","year":"1965","unstructured":"S. MacLane. Categorical Algebra. Bulletin American Mathematical Society, n. 71, pp. 40\u2013106, 1965.","journal-title":"Bulletin American Mathematical Society"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer, and U. Montanari. Petri Nets are Monoids. Information and Computation, n. 88, pp. 105\u2013154, Academic Press, 1990.","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"36_CR13","first-page":"357","volume":"n. 28","author":"E.H. Moore","year":"1897","unstructured":"E.H. Moore. Concerning the abstract group of order k! isomorphic with the symmetric substitution group on k letters. Proceedings of the London Mathematical Society, n. 28, PP. 357\u2013366, 1897.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"36_CR14","volume-title":"Interner Bericht ISF-77-5","author":"C.A. Petri","year":"1977","unstructured":"C.A. Petri. Non-Sequential Processes. Interner Bericht ISF-77-5, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, Germany, 1977."},{"key":"36_CR15","unstructured":"V. Sassone. On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. PhD Thesis TD 6\/94, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1994."},{"key":"36_CR16","unstructured":"V. Sassone. Some Remarks on Concatenable Processes. Technical Report TR 6\/94, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1994."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:44Z","timestamp":1605646604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}