{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:20Z","timestamp":1740098900078,"version":"3.37.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"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-319-57861-3_8","type":"book-chapter","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T22:10:40Z","timestamp":1493849440000},"page":"112-124","source":"Crossref","is-referenced-by-count":3,"title":["An Integrated Environment for Petri Net Slicing"],"prefix":"10.1007","author":[{"given":"Marisa","family":"Llorens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Oliver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"8_CR1","unstructured":"Chang, C., Wang, H.: A slicing algorithm of concurrency modeling based on petri nets. In: Proceedings of the International Conference on Parallel Processing, ICPP 1986, pp. 789\u2013792. IEEE Computer Society Press (1986)"},{"key":"8_CR2","unstructured":"Khan, Y., Guelfi, N.: Survey of Petri Nets Slicing. Technical report, University of Luxembourg, Faculty of Science, Technology and Communication (FSTC), Computer Science and Communications Research Unit (CSC), Luxembourg (2013). \nhttp:\/\/hdl.handle.net\/10993\/13606"},{"key":"8_CR3","unstructured":"Khan, Y., Risoldi, M.: Optimizing algebraic petri net model checking by slicing. In: International Workshop on Modeling and Business Environments, ModBE 2013, pp. 275\u2013294 (2013). (associated with Petri Nets 2013)"},{"issue":"2","key":"8_CR4","first-page":"131","volume":"32","author":"W Lee","year":"2000","unstructured":"Lee, W., Cha, S., Kwon, Y., Kim, H.: A slicing-based approach to enhance petri net reachability analysis. J. Res. Pract. Inform. Technol. 32(2), 131\u2013143 (2000)","journal-title":"J. Res. Pract. Inform. Technol."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2008.12.037","volume":"223","author":"M Llorens","year":"2008","unstructured":"Llorens, M., Oliver, J., Silva, J., Tamarit, S., Vidal, G.: Dynamic slicing techniques for petri nets. Electron. Notes Theor. Comput. Sci. 223, 153\u2013165 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-31131-4_15","volume-title":"Application and Theory of Petri Nets","author":"A Rakow","year":"2012","unstructured":"Rakow, A.: Safety slicing petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 268\u2013287. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-31131-4_15"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1002\/asjc.1031","volume":"17","author":"W Yu","year":"2015","unstructured":"Yu, W., Ding, Z., Fang, X.: Dynamic slicing of petri nets based on structural dependency graph and its application in system analysis. Asian J. Control 17(4), 1403\u20131414 (2015). \nhttp:\/\/dx.doi.org\/10.1002\/asjc.1031","journal-title":"Asian J. Control"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T22:13:04Z","timestamp":1493849584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}