Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets and Concurrency

PETRI NETS 2017: Application and Theory of Petri Nets and Concurrency pp 112–124Cite as

An Integrated Environment for Petri Net Slicing

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,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.

This work has been partially supported by MINECO/AEI/FEDER (EU) under grants TIN2013-44742-C4-1-R and TIN2016-76843-C4-1-R, and by the Generalitat Valenciana under grant PROMETEO-II/2015/013 (SmartLogic). Salvador Tamarit was partially supported by the Conselleria de Educación, Investigación, Cultura y Deporte de la Generalitat Valenciana under the grant APOSTD/2016/036.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    LoLA - Low Level Petri Net Analyzer: http://home.gna.org/service-tech/lola/.

  2. 2.

    APT - Analysis of Petri nets and labelled transition systems: https://github.com/CvO-theory/apt.

  3. 3.

    Model Checking Contest @ Petri Nets 2017: http://mcc.lip6.fr/models.php.

  4. 4.

    https://github.com/tamarit/pn_suite.

  5. 5.

    Graphviz - Graph Visualization Software: http://www.graphviz.org/.

  6. 6.

    http://www.erlang.org/.

  7. 7.

    The Petri Net Markup Language reference site: http://www.pnml.org/.

  8. 8.

    The Platform Independent Petri Net Editor version 5: http://sarahtattersall.github.io/PIPE/.

  9. 9.

    http://kaz.dsic.upv.es/pn_slicer.

  10. 10.

    https://github.com/tamarit/pn_suite/blob/master/doc/glossary.pdf.

References

  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. 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. 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. 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. 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)

    Article  MATH  Google Scholar 

  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

    Chapter  Google Scholar 

  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

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Politècnica de València, Camí de Vera S/N, 46022, València, Spain

    Marisa Llorens, Javier Oliver, Josep Silva & Salvador Tamarit

Authors
  1. Marisa Llorens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Javier Oliver
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Josep Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Salvador Tamarit
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Salvador Tamarit .

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science (MF 7.103), Eindhoven University of Technology, Eindhoven, Noord-Brabant, The Netherlands

    Wil van der Aalst

  2. Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Llorens, M., Oliver, J., Silva, J., Tamarit, S. (2017). An Integrated Environment for Petri Net Slicing. In: van der Aalst, W., Best, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science(), vol 10258. Springer, Cham. https://doi.org/10.1007/978-3-319-57861-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57861-3_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57860-6

  • Online ISBN: 978-3-319-57861-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation