{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:36:21Z","timestamp":1784241381428,"version":"3.55.0"},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"value":"9783540199823","type":"print"},{"value":"9781447130789","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_5","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"69-84","source":"Crossref","is-referenced-by-count":19,"title":["On The Synchronic Structure of Transition Systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giorgio","family":"De Michelis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katia","family":"Petruni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastiano","family":"Vigna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Bonn","author":"CA Petri","year":"1962","unstructured":"C.A. Petri. Kommunikation mit automaten. Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn, 1962."},{"key":"5_CR2","unstructured":"C.A. Petri. Concepts of net theory. In Mathematical Foundations of Computer Science. Proceedings of Symposium and Summer School, pages 137\u2013146, Bratislava, 1973. Mathematical Institute of Slovak Academy of Sciences."},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht and G. Rozenberg. Partial (set) 2-structures. I and II. Acta Informatica, 27 (4): 315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"5_CR4","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, and P.S. Thiagarajan. Elementary transition systems. Theoretical Computer Science, 96: 3\u201333, 1992.","journal-title":"Theoretical Computer Science"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"E. Badouel, L. Bernardinello, and P. Darondeau. Polynomial algorithms for the synthesis of bounded nets. Technical Report PI-847, IRIS A, July 1994. To appear in Proceedings of CAAP 95.","DOI":"10.1007\/3-540-59293-8_207"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J.Desel and A.Merceron. P\/T-systems as abstractions of C\/E-systems. In G. Rozenberg, editor, Advances in Petri Nets 1989, number 424 in LNCS. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52494-0_27"},{"key":"5_CR7","unstructured":"M. Mukund. Petri nets and step transition systems. International lournal of Foundations of Computer Science, 96 (1), 1992."},{"key":"5_CR8","first-page":"447","volume":"44","author":"M Silva","year":"1992","unstructured":"M. Silva and T. Murata. B-fairness and structural B-fairness in Petri net models of concurrent systems. lournal of Computer and System Sciences, 44: 447\u2013477, 1992.","journal-title":"B-fairness and structural B-fairness in Petri net models of concurrent systems. lournal of Computer and System Sciences"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00290730","volume":"19","author":"I Suzuki","year":"1983","unstructured":"I. Suzuki and T. Kasami. Three measures for synchronic dependence in Petri nets. Acta Inform., 19: 325\u2013338, 1983.","journal-title":"Acta Inform"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets. An Introduction","author":"W Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985."},{"key":"5_CR11","volume-title":"Net Theory and Applications, number 84 in LNCS. Springer-Verlag","author":"PS Genrich","year":"1980","unstructured":"P.S. Thiagarajan H.J. Genrich, K. Lautenbach. Elements of general net theory. In W. Brauer, editor, Net Theory and Applications, number 84 in LNCS. Springer-Verlag, 1980."},{"key":"5_CR12","volume-title":"An outline of general net theory","author":"CA Petri","year":"1992","unstructured":"C.A. Petri. An outline of general net theory. Unpublished manuscript, 1992."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"U. Goltz. Synchronic distance. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, number 254 in LNCS. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-540-47919-2_12"},{"key":"5_CR14","volume-title":"Springer-Verlag","author":"TW Hungeford","year":"1974","unstructured":"T.W. Hungeford. Algebra. Springer-Verlag, 1974."},{"key":"5_CR15","volume-title":"W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, number 254 in LNCS. Springer-Verlag","author":"W Reisig","year":"1987","unstructured":"W. Reisig. Place\/transition systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, number 254 in LNCS. Springer-Verlag, 1987."},{"key":"5_CR16","volume-title":"Proceedings of 14th International Conference on Application and Theory of Petri Nets, Chicago (USA)","author":"L Bernardinello","year":"1993","unstructured":"L. Bernardinello. Synthesis of net systems. In Proceedings of 14th International Conference on Application and Theory of Petri Nets, Chicago (USA), 1993."},{"key":"5_CR17","volume-title":"Verso una caratterizzazione algebrica della distanza sincronica","author":"K Petruni","year":"1993","unstructured":"K. Petruni. Verso una caratterizzazione algebrica della distanza sincronica. Universit\u00e0 degli studi di Milano, Tesi di Laurea, 1993."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:17:42Z","timestamp":1561058262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]}}}