{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:14Z","timestamp":1725490694284},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_8","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"64-81","source":"Crossref","is-referenced-by-count":1,"title":["Nets Enriched over Closed Monoidal Structures"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[]},{"given":"Jules","family":"Chenou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"E. Badouel, M. Bednarczyk, and Ph. Darondeau. Generalized automata and their net representations. In H. Ehrig, J. Padberg, and G. Rozenberg, editors, Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences, pages 304\u2013345. Springer Verlag, 2001.","DOI":"10.1007\/3-540-45541-8_10"},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-60164-3_18","volume-title":"6th International Conference on Category Theory and Computer Science","author":"E. Badouel","year":"1995","unstructured":"E. Badouel and Ph. Darondeau. Dualities between nets and automata induced by schizophrenic objects. In 6th International Conference on Category Theory and Computer Science, volume 953 of Lecture Notes in Computer Science, pages 24\u201343, 1995."},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Third Advance Course on Petri Nets, Dagstuhl Castle","author":"E. Badouel","year":"1998","unstructured":"E. Badouel and Ph. Darondeau. Theory of regions. In Third Advance Course on Petri Nets, Dagstuhl Castle, volume 1491 of Lecture Notes in Computer Science, pages 529\u2013586. Springer-Verlag, 1998."},{"key":"8_CR4","volume-title":"Les s\u00e9ries rationnelles et leurs langages","author":"J. Berstel","year":"1984","unstructured":"J. Berstel and Ch. Reutenauer. Les s\u00e9ries rationnelles et leurs langages. Masson, Paris, 1984."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","volume":"30","author":"R. David","year":"1994","unstructured":"R. David and H. Alla. Petri nets for modeling of dynamic systems-a survey. Automatica, 30:175\u2013202, 1994.","journal-title":"Automatica"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"M. Droste and R.M. Shortt. Continuous petri nets and transition systems. In H. Ehrig, J. Padberg, and G. Rozenberg, editors, Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences. Springer Verlag, 2001.","DOI":"10.1007\/3-540-45541-8_14"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, J. Padberg, and G. Rozenberg, editors. Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences. Springer Verlag, 2001.","DOI":"10.1007\/3-540-45541-8"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"XLIII","author":"F.W. Lawvere","year":"1973","unstructured":"F.W. Lawvere. Metric spaces, generalized logics, and closed categories. Rendiconti del seminario Matematico e Fisico di Milano, XLIII:135\u2013166, 1973.","journal-title":"Rendiconti del seminario Matematico e Fisico di Milano"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Origins of the calculus of binary relations. In 7th Annual IEEE Symp. on Logic in Computer Science, Santa Cruz, CA, pages 248\u2013254, 1992.","DOI":"10.1109\/LICS.1992.185537"},{"key":"8_CR11","unstructured":"Ch. Retor\u00e9. The logic of categorical grammars. In Lecture Notes of the European Summer School in Logic, Language and Information, ESSLLI\u20192000, Birmingham, 2000."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"M.P. Schutzenberger","year":"1961","unstructured":"M.P. Schutzenberger. On the definition of a family of automata. Information and Control, 4:245\u2013270, 1961.","journal-title":"Information and Control"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:41:24Z","timestamp":1556811684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}