{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T23:07:19Z","timestamp":1761952039334,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775652"},{"type":"electronic","value":"9783540775669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77566-9_38","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T06:18:43Z","timestamp":1199513923000},"page":"436-447","source":"Crossref","is-referenced-by-count":11,"title":["Slicing Petri Nets with an Application to Workflow Verification"],"prefix":"10.1007","author":[{"given":"Astrid","family":"Rakow","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","first-page":"439","volume-title":"Proceedings of the 5th international conference on Software engineering","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th international conference on Software engineering, pp. 439\u2013449. IEEE Press, Piscataway (1981)"},{"key":"38_CR2","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"key":"38_CR3","first-page":"180","volume-title":"International Symposium on Software Testing and Analysis","author":"A.M. Sloane","year":"1996","unstructured":"Sloane, A.M., Holdsworth, J.: Beyond traditional program slicing. In: International Symposium on Software Testing and Analysis, San Diego, CA, pp. 180\u2013186. ACM Press, New York (1996)"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-63531-9_30","volume-title":"Software Engineering - ESEC-FSE \u201997","author":"M.P.E. Heimdahl","year":"1997","unstructured":"Heimdahl, M.P.E., Whalen, M.W.: Reduction and slicing of hierarchical state machines. In: Jazayeri, M. (ed.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol.\u00a01301, pp. 450\u2013467. Springer, Heidelberg (1997)"},{"unstructured":"Chang, J., Richardson, D.J.: Static and dynamic specification slicing. In: Proceedings of the Fourth Irvine Software Symposium (1994)","key":"38_CR5"},{"unstructured":"Br\u00fcckner, I.: Slicing CSP-OZ specifications. In: Nordic Workshop on Programming Theory (2004)","key":"38_CR6"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/11415787_24","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"I. Br\u00fcckner","year":"2005","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing Object-Z specifications for verification. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 414\u2013433. Springer, Heidelberg (2005)"},{"key":"38_CR8","first-page":"789","volume-title":"Proc. of the 1986 Int. Conf. on Parallel Processing","author":"C.K. Chang","year":"1987","unstructured":"Chang, C.K., Wang, H.: A slicing algorithm of concurrency modeling based on Petri nets. In: Hwang, K., Jacobs, S.M., Swartzlander, E.E. (eds.) Proc. of the 1986 Int. Conf. on Parallel Processing, Washington, pp. 789\u2013792. IEEE Computer Society Press, Los Alamitos (1987)"},{"doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Dwyer, M.B., Zheng, H.: Slicing software for model construction. Higher-Order and Symbolic Computation, 315\u2013353 (2000)","key":"38_CR9","DOI":"10.1023\/A:1026599015809"},{"key":"38_CR10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management - Models, Methods, and Systems","author":"W.v.d. Aalst","year":"2002","unstructured":"Aalst, W.v.d., Hee, K.v.: Workflow Management - Models, Methods, and Systems, pp. 4\u201362. The MIT Press, Cambridge (2002)"},{"issue":"3","key":"38_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Transactions on Software Engineering\u00a022(3), 161\u2013180 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","volume-title":"Compositionality: The Significant Difference","author":"S. Berezin","year":"1998","unstructured":"Berezin, S., Campos, S., Clarke, E.M.: Compositional reasoning in model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 81\u2013102. Springer, Heidelberg (1998)"},{"unstructured":"Rakow, A.: Slicing Petri Nets. In: Proceedings of the Workshop on FABPWS 2007, Satellite Event, Siedlce, pp. 56\u201370 (2007)","key":"38_CR13"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2008: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77566-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,25]],"date-time":"2025-01-25T10:13:19Z","timestamp":1737799999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77566-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540775652","9783540775669"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77566-9_38","relation":{},"subject":[]}}