An Integrated Environment for Petri Net Slicing

Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit. An Integrated Environment for Petri Net Slicing. In Wil M. P. van der Aalst, Eike Best, editors, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Volume 10258 of Lecture Notes in Computer Science, pages 112-124, Springer, 2017. [doi]

Abstract

Abstract is missing.