{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:31:07Z","timestamp":1743093067673,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662558614"},{"type":"electronic","value":"9783662558621"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55862-1_9","type":"book-chapter","created":{"date-parts":[[2017,9,19]],"date-time":"2017-09-19T10:03:23Z","timestamp":1505815403000},"page":"187-215","source":"Crossref","is-referenced-by-count":1,"title":["Multiplicative Transition Systems"],"prefix":"10.1007","author":[{"given":"J\u00f3zef","family":"Winkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/BF01186645","volume":"32","author":"E Badouel","year":"1995","unstructured":"Badouel, E., Darondeau, P.: Trace nets and process automata. Acta Inform. 32, 647\u2013679 (1995)","journal-title":"Acta Inform."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures. Acta Inform. 27, 315\u2013368 (1990)","journal-title":"Acta Inform."},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-07854-1_188","volume-title":"Mathematical Foundations of Computer Science 1976","author":"H Ehrig","year":"1976","unstructured":"Ehrig, H., Kreowski, H.-J.: Parallelism of manipulations in multidimensional information structures. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 284\u2013293. Springer, Heidelberg (1976). doi: 10.1007\/3-540-07854-1_188"},{"issue":"1","key":"9_CR4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid i\/o automata. Inf. Comput. 185(1), 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BFb0013025","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"A Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A.: Basic notions of trace theory. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 285\u2013363. Springer, Heidelberg (1989). doi: 10.1007\/BFb0013025"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1971). doi: 10.1007\/978-1-4757-4721-8"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M Nielsen","year":"1992","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. Theor. Comput. Sci. 96, 3\u201333 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-10001-6_21","volume-title":"Net Theory and Applications","author":"CA Petri","year":"1980","unstructured":"Petri, C.A.: Introduction to general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 1\u201319. Springer, Heidelberg (1980). doi: 10.1007\/3-540-10001-6_21"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/BFb0027048","volume-title":"Current Trends in Concurrency","author":"G Rozenberg","year":"1986","unstructured":"Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 585\u2013668. Springer, Heidelberg (1986). doi: 10.1007\/BFb0027048"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0020-0190(03)00386-7","volume":"88","author":"J Winkowski","year":"2003","unstructured":"Winkowski, J.: An algebraic characterization of independence of petri net processes. Inf. Process. Lett. 88, 73\u201381 (2003)","journal-title":"Inf. Process. Lett."},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-2009-199","volume":"97","author":"J Winkowski","year":"2009","unstructured":"Winkowski, J.: An algebraic framework for defining behaviours of concurrent systems. Part 1: the constructive presentation. Fundamenta Informaticae 97, 235\u2013273 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"439","DOI":"10.3233\/FI-2009-210","volume":"97","author":"J Winkowski","year":"2009","unstructured":"Winkowski, J.: An algebraic framework for defining behaviours of concurrent systems. Part 2: the axiomatic presentation. Fundamenta Informaticae 97, 439\u2013470 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Winkowski, J.: Multiplicative transition systems. Fundamenta Informaticae 109(2), 201\u2013222 (2011). http:\/\/www.ipipan.waw.pl\/~wink\/winkowski.htm","DOI":"10.3233\/FI-2011-505"},{"key":"9_CR14","series-title":"Monograph 2 in Monograph Series","volume-title":"An Algebraic Framework for Concurrent Systems","author":"J Winkowski","year":"2014","unstructured":"Winkowski, J.: An Algebraic Framework for Concurrent Systems. Monograph 2 in Monograph Series. Institute of Computer Science of the Polish Academy of Sciences, Warsaw (2014)"},{"key":"9_CR15","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 4, pp. 1\u2013148 (1995)"},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1090\/S0002-9904-1935-06166-X","volume":"41","author":"M Zorn","year":"1935","unstructured":"Zorn, M.: A remark on method in transfinite algebra. Bull. Am. Math. Soc. 41, 667\u2013670 (1935)","journal-title":"Bull. Am. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55862-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T22:15:31Z","timestamp":1602972931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55862-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662558614","9783662558621"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55862-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}