{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:14:36Z","timestamp":1743135276731,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662457290"},{"type":"electronic","value":"9783662457306"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-45730-6_5","type":"book-chapter","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T17:08:59Z","timestamp":1417540139000},"page":"83-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Canonical Contraction for Safe Petri Nets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Chatain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Balaguer, S., Chatain, T., Haar, S.: Building tight occurrence nets from reveals relations. In: Proceedings of the 11th International Conference on Application of Concurrency to System Design, pp. 44\u201353. IEEE Computer Society Press (2011)","DOI":"10.1109\/ACSD.2011.16"},{"issue":"3","key":"5_CR2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-2013-809","volume":"123","author":"S Balaguer","year":"2013","unstructured":"Balaguer, S., Chatain, T., Haar, S.: Building occurrence nets from reveals relations. Fundam. Inform. 123(3), 245\u2013272 (2013)","journal-title":"Fundam. Inform."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G Berthelot","year":"1986","unstructured":"Berthelot, G.: Checking properties of nets using transformation. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00289593","volume":"16","author":"E Best","year":"1981","unstructured":"Best, E., Randell, B.: A formal model of atomicity in asynchronous systems. Acta Inform. 16(1), 93\u2013124 (1981)","journal-title":"Acta Inform."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Desel, J., Merceron, A.: Vicinity respecting homomorphisms for abstracting system requirements. In: Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC) (2009)","DOI":"10.1007\/978-3-642-18222-8_1"},{"issue":"10","key":"5_CR6","doi-asserted-by":"publisher","first-page":"2310","DOI":"10.1109\/TAC.2010.2063490","volume":"55","author":"S Haar","year":"2010","unstructured":"Haar, S.: Types of asynchronous diagnosability and the reveals-relation in occurrence nets. IEEE Trans. Autom. Control 55(10), 2310\u20132320 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Haar, S., Kern, C., Schwoon, S.: Computing the reveals relation in occurrence nets. In: Proceedings of GandALF\u201911. Electronic Proceedings in Theoretical Computer Science, vol. 54, pp. 31\u201344 (2011)","DOI":"10.4204\/EPTCS.54.3"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TAC.2009.2034216","volume":"55","author":"R Kumar","year":"2010","unstructured":"Kumar, R., Takai, S.: Decentralized prognosis of failures in discrete event systems. IEEE Trans. Autom. Control 55(1), 48\u201359 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Madalinski, A., Khomenko, V.: Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings. In: Control and Fault-Tolerant Systems (SysTol\u20192010), pp. 398\u2013403. IEEE Computing Society Press (2010)","DOI":"10.1109\/SYSTOL.2010.5676089"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Madalinski, A., Khomenko, V.: Predictability verification with parallel LTL-X model checking based on Petri net unfoldings. In: Proceedings of the 8th IFAC Symposium on Fault Detection, Diagnosis and Safety of Technical Processes (SAFEPROCESS\u20192012), pp. 1232\u20131237 (2012)","DOI":"10.3182\/20120829-3-MX-2028.00048"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoret. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on finite asynchronous automata. RAIRO Theoret. Inform. Appl. 21, 99\u2013135 (1987)","journal-title":"RAIRO Theoret. Inform. Appl."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency IX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45730-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T10:21:34Z","timestamp":1674555694000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45730-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662457290","9783662457306"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45730-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}