{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:23Z","timestamp":1726029983429},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_16","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"119-132","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Carl Adam Petri\u2019s Synchronic Distance"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"16_CR1","unstructured":"J. Desel, Synchronie-Abstand in Stellen-Transitionssystemen. Arbeitspapiere der GMD No. 341, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, St. Augustin (1988)"},{"issue":"5","key":"16_CR2","first-page":"291","volume":"155","author":"J Desel","year":"2000","unstructured":"J. Desel, T. Erwin, Hybrid specifications: looking at workflows from a run-time perspective. Comput. Syst. Sci. Eng. 155(5), 291\u2013302 (2000)","journal-title":"Comput. Syst. Sci. Eng."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan, Elements of general net theory, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Heidelberg, 1979), pp. 21\u2013163"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"U. Goltz, Y. Chong-Yi, Synchronic structure: a tutorial, in Advances in Petri Nets 1985, ed. by G. Rozenberg. Lecture Notes in Computer Science, vol. 222 (Springer, Heidelberg, 1985), pp. 233\u2013252","DOI":"10.1007\/BFb0016215"},{"key":"16_CR5","unstructured":"C.A. Petri, Kommunikation mit Automaten. Ph.D. thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn, 1962"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-0348-5879-3_10","volume-title":"3. Colloquium \u00fcber Automatentheorie","author":"C. A. Petri","year":"1967","unstructured":"C.A. Petri, Grunds\u00e4tzliches zur Beschreibung diskreter Prozesse, in 3.Colloquium \u00fcber Automatentheorie (Birkh\u00e4user, Basel, 1967), pp. 121\u2013140"},{"key":"16_CR7","first-page":"137","volume-title":"Concepts of net theory, in Mathematical Foundations of Computer Science","author":"CA Petri","year":"1973","unstructured":"C.A. Petri, Concepts of net theory, in Mathematical Foundations of Computer Science (Mathematical Institute of the Slovak Academy of Sciences, Bratislava, 1973), pp. 137\u2013146"},{"key":"16_CR8","unstructured":"C.A. Petri, Interpretations of net theory. ISF-Report 75.07, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, St. Augustin (1975)"},{"key":"16_CR9","first-page":"307","volume-title":"Lecture Notes in Computer Science","author":"Hajo A. Reijers","year":"2013","unstructured":"H.A. Reijers, Declarative modeling-an academic dream or the future for BPM?, in Business Process Management, ed. by F. Daniel, J. Wang, B. Weber. Lecture Notes in Computer Science, vol. 8094 (Springer, Heidelberg, 2013), pp. 307\u2013322"},{"key":"16_CR10","unstructured":"W. Reisig, Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4 (Springer, Heidelberg, 1985)"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/0022-0000(92)90013-9","volume":"44","author":"M Silva","year":"1992","unstructured":"M. Silva, T. Murata, B-fairness and structural B-fairness in Petri net models of concurrent systems. J. Comput. Syst. Sci. 44(3), 447\u2013477 (1992)","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR12","first-page":"386","volume-title":"Lecture Notes in Computer Science","author":"M. Silva","year":"1988","unstructured":"M. Silva, J.M. Colom, On the computation of structural synchronic invariants in P\/T nets, in Advances in Petri Nets 1988, ed. by G. Rozenberg. Lecture Notes in Computer Science, vol. 340 (Springer, Heidelberg, 1987), pp. 386\u2013417"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:18:59Z","timestamp":1558689539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_16","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}