{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:51Z","timestamp":1725456351160},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029957","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:24:59Z","timestamp":1133400299000},"page":"139-148","source":"Crossref","is-referenced-by-count":0,"title":["A category of transition systems and its relations with orthomodular posets"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucia","family":"Pomello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"14_CR1","unstructured":"E. Badouel, P. Darondeau, A survey on net synthesis, In Borne et al., Symposium on Discrete Events and Manufacturing Systems, CESA '96 IMACS Multiconference, Lille, France, July 1996, pp. 309\u2013316."},{"key":"14_CR2","unstructured":"L. Bernardinello, Propri\u00e9t\u00e9s alg\u00e9briques et combinatoires des r\u00e9gions dans les graphes, et leurs application \u00e1 la synth\u00e8se de r\u00e9seaux, PhD thesis, Universit\u00e9 de Rennes I, to be discussed, 1996."},{"key":"14_CR3","unstructured":"L. Bernardinello, C. Ferigato, Automata and Quantum Logics, DSI Int.Rep., n. 38\u201395, abstract in 10th Int.Congress of Logic, Methodology and Philosophy of Science, Florence, 1995."},{"key":"14_CR4","unstructured":"C. Ferigato, Note su alcune Propriet\u00e0 Algebriche, Logiche, Topologiche della Concorrenza, Tesi di Dottorato di Ricerca in Informatica, Universit\u00e0 degli Studi di Milano, 1996."},{"issue":"4","key":"14_CR5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht, G. Rozenberg, Partial (set) 2-Structures I & II, Acta Informatica, 27, 4, pp. 315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"14_CR6","unstructured":"R.I.G. Hughes, The structure and Interpretation of Quantum Mechanics, Harvard University Press, 1989."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S. MacLane, Categories for the working mathematician, Graduate Text in Mathematics 5, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M. Nielsen, G. Rozenberg, P.S. Thiagarajan, Elementary Transition Systems, in Theoretical Computer Science 96 (1), pp. 3\u201333, 1992.","journal-title":"Theoretical Computer Science"},{"key":"14_CR9","unstructured":"C.A. Petri, Concepts in net theory, in MFCS'73, Mathematical Institute of Slovak Academy of Sciences, pp. 137\u2013146, 1973."},{"issue":"1\u20132","key":"14_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"C.A. Petri","year":"1996","unstructured":"C.A. Petri, Nets, time and space, in TCS 153 (1\u20132), pp.3\u201348, 1996.","journal-title":"TCS"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"V.R. Pratt, Chu spaces: Automata with quantum aspects, Proc. PhysComp'94, IEEE 1994.","DOI":"10.1109\/PHYCMP.1994.363682"},{"key":"14_CR12","unstructured":"P. Pt\u00e1k, S. Pulmannov\u00e1, Orthomodular structures as Quantum Logics, Kluwer Academic Publishers, 1991."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:22:59Z","timestamp":1586578979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0029957","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}