{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:32:29Z","timestamp":1725456749362},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029623","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"306-312","source":"Crossref","is-referenced-by-count":1,"title":["Quality criteria for partial order semantics of place\/transition-nets"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gold","sequence":"first","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","first-page":"359","volume":"254","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and Decompositions of Nets; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 359\u2013376","journal-title":"LNCS"},{"key":"32_CR2","unstructured":"Gold, R., Vogler, W.: Quality Criteria for Partial Order Semantics of Place\/Transition-Nets; Techn. Univ. M\u00fcnchen, Inst. f\u00fcr Informatik Report TUM-I9004, January 1990"},{"key":"32_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The Non-Sequential Behaviour of Petri Nets; Information and Control 57 (1983) 125\u2013147","journal-title":"Information and Control"},{"issue":"2","key":"32_CR4","first-page":"428","volume":"IV","author":"J. Grabowski","year":"1981","unstructured":"Grabowski, J.: On Partial Languages; Ann. Soc. Math. Pol., Fundamenta Informaticae IV.2 (1981) 428\u2013498","journal-title":"Ann. Soc. Math. Pol., Fundamenta Informaticae"},{"key":"32_CR5","unstructured":"Hack, M.: Petri Net Languages; MIT, Laboratory Computer Science, TR-159, 1976"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Hirshfeld, J., Rabinovich, A., Trakhtenbrot, B.A.: Discerning Causality in Interleaving Behaviour; Tel Aviv Univ., School of Math. Sci., Technical Report 133\/89, 1989","DOI":"10.1007\/3-540-51237-3_13"},{"key":"32_CR7","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the Interrelation between Synchronized and Non-Synchronized Behaviour of Petri Nets; J. Inf. Process. Cybern. EIK 24 (1988) 3\u201318","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"32_CR8","first-page":"279","volume":"254","author":"A. Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace Theory; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 279\u2013324","journal-title":"LNCS"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"331","DOI":"10.3233\/FI-1988-11403","volume":"XI","author":"A. Mazurkiewicz","year":"1988","unstructured":"Mazurkiewicz, A.: Compositional Semantics of Pure Place\/Transition Systems; Fundamenta Informatica XI (1988) 331\u2013356","journal-title":"Fundamenta Informatica"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modelling Concurrency with Partial Orders; Int. J. of Parallel Programming 15, 1986","DOI":"10.1007\/BF01379149"},{"key":"32_CR11","first-page":"389","volume":"17","author":"P.H. Starke","year":"1981","unstructured":"Starke, P.H.: Processes in Petri Nets; J. Inf. Process. Cybern. EIK 17 (1981) 389\u2013416","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Failures Semantics Based on Intervall Semiwords Is a Congruence for Refinements; Proc. STACS 90, LNCS 415, 285\u2013297","DOI":"10.1007\/3-540-52282-4_51"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T20:12:20Z","timestamp":1626811940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029623"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0029623","relation":{},"subject":[]}}