An Integrated Environment for Petri Net Slicing

  • Marisa Llorens
  • Javier Oliver
  • Josep Silva
  • Salvador Tamarit
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10258)

Abstract

Petri net slicing is a technique to automatically isolate the part of a marked Petri net that influences or is influenced by a given set of places. There exist different algorithms for Petri net slicing with different objectives. Nevertheless, they have never been evaluated or compared from a practical point of view. In fact, because there does not exist a public implementation of some of them, their performance and scalability have remained unknown. In this paper we present three tools for the analysis and transformation of Petri nets. The three tools are complementary, and they allow us to extract from a Petri net a set of slices that preserve a given set of properties (e.g., boundedness, reversibility, etc.). For this, they include the first public, free, and open-source implementation of the most important algorithms for Petri net slicing, including a new algorithm that reduces the size of the slices. Our implementation of the algorithms allowed us to compare all of them and to measure and report for the first time about their individual performance.

References

  1. 1.
    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–792. IEEE Computer Society Press (1986)Google Scholar
  2. 2.
    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). http://hdl.handle.net/10993/13606
  3. 3.
    Khan, Y., Risoldi, M.: Optimizing algebraic petri net model checking by slicing. In: International Workshop on Modeling and Business Environments, ModBE 2013, pp. 275–294 (2013). (associated with Petri Nets 2013)Google Scholar
  4. 4.
    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–143 (2000)Google Scholar
  5. 5.
    Llorens, M., Oliver, J., Silva, J., Tamarit, S., Vidal, G.: Dynamic slicing techniques for petri nets. Electron. Notes Theor. Comput. Sci. 223, 153–165 (2008)CrossRefMATHGoogle Scholar
  6. 6.
    Rakow, A.: Safety slicing petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 268–287. Springer, Heidelberg (2012). doi:10.1007/978-3-642-31131-4_15 CrossRefGoogle Scholar
  7. 7.
    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–1414 (2015). http://dx.doi.org/10.1002/asjc.1031 MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Marisa Llorens
    • 1
  • Javier Oliver
    • 1
  • Josep Silva
    • 1
  • Salvador Tamarit
    • 1
  1. 1.Universitat Politècnica de ValènciaValènciaSpain

Personalised recommendations