PNeS in Modelling, Control and Analysis of Concurrent Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

PNeS in Modelling, Control and Analysis of Concurrent Systems

  • Conference paper
  • First Online:
Rough Sets (IJCRS 2021)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12872))

Included in the following conference series:

Abstract

The paper describes the extended and improved version of the Petri Net System (PNeS) compared to the version published in 2017. PNeS is an integrated graphical computer tool for building, modifying, analyzing Petri nets, as well as controlling a mobile robot. It runs on any computer under any operating system. PNeS can be useful for researchers, educators and practitioners, from both academia and industry, who are actively involved in the work of modelling and analyzing concurrent systems, and for those who have the potential to be involved in these areas.

This work was partially supported by the Center for Innovation and Transfer of Natural Sciences and Engineering Knowledge at Rzeszów University.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 9723
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 12154
Price includes VAT (Japan)
  • 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

Institutional subscriptions

Similar content being viewed by others

References

  1. Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 359–376. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-540-47919-2_13

    Chapter  Google Scholar 

  2. Best, E.: Structure theory of petri nets: the free choice hiatus. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 168–205. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-540-47919-2_8

    Chapter  Google Scholar 

  3. Bruno, J., Altman, S.M.: A theory of asynchronous control networks, IEEE Trans. Comput. C-20, 629–638 (1971)

    Google Scholar 

  4. Chen, S.M., Ke, J.S., Chang, J.F.: Knowledge representation using fuzzy Petri nets. IEEE Trans. Knowl. Data Eng. 2(3), 311–319 (1990)

    Article  Google Scholar 

  5. David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice Hall, New York (1992)

    MATH  Google Scholar 

  6. Desel, J., Reisig, W., Rozenberg, G.: Lectures on Concurrency and Petri Nets. Springer, Berlin (2004). https://doi.org/10.1007/b98282

  7. DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Practice of Petri nets in Manufacturing. Chapman and Hall, New York (1993)

    Book  Google Scholar 

  8. Feldbrugge, F., Jensen, K.: Computer tools for high-level petri nets. In: High-level Petri Nets, pp. 691–717. Theory and Application, Springer, Berlin (1991)

    Chapter  Google Scholar 

  9. Grahlmann, B., Best, E.: PEP - more than a petri net tool. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 397–401. Springer, Berlin (1996)

    Chapter  Google Scholar 

  10. Hack, M.: Decidability Questions for Petri Nets. Ph.D. Dissertation, Department of Electrical Engineering, MIT, Cambridge (1975)

    Google Scholar 

  11. Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy - a unifying petri net tool. In: Application and Theory of Petri Nets, pp. 398–407. Springer, Berlin (2012)

    Chapter  Google Scholar 

  12. Jeng, M.D., DiCesare, F.: A review of synthesis techniques for Petri nets with applications to automated manufacturing systems. IEEE Trans. Syst., Man, Cybern. 23(1), 301–312 (1993)

    Google Scholar 

  13. Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets. Theory and Application, Springer, Berlin (1991)

    MATH  Google Scholar 

  14. Jie, T.W., Ameedeen, M.A.: A survey of petri net tools. In: Advanced Computer and Communication Engineering Technology, Lecture Notes in Elect. Eng., vol. 315, pp. 537-551 (2015)

    Google Scholar 

  15. Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3, 147–195 (1969)

    Article  MathSciNet  Google Scholar 

  16. Kindler, E., Nillies, F.: Petri Nets and the Real World, Semantic Scholar, Corpus ID: 1119127 (2006)

    Google Scholar 

  17. Kounev, S., Dutz, C.: QPME: a performance modeling tool based on queueing Petri Nets. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 46–51 (2009)

    Article  Google Scholar 

  18. Looney, C.G.: Fuzzy petri nets for rule-based decision-making. IEEE Trans. Syst. Man, Cybern. 18–1, 178–183 (1988)

    Article  Google Scholar 

  19. Memmi, G., Vautherin, J.: Analysing nets by the invariant method. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 300–336. Springer, Heidelberg (1987). https://doi.org/10.1007/978-3-540-47919-2_11

    Chapter  MATH  Google Scholar 

  20. Meyer, R., Strazny, T.: Petruchio: from dynamic networks to nets. In: Computer Aided Verification, pp. 175–179. Springer, Berlin (2010)

    Chapter  Google Scholar 

  21. Murata, T.: Petri nets: properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  22. Øhrn, A., Komorowski, J., Skowron, A., Synak, P.: The Rosetta software system. In: Rough Sets in Knowledge Discovery 2, pp. 572–576. Applications, Studies in Fuzziness and Soft Computing, Springer, Berlin (1998)

    MATH  Google Scholar 

  23. Pancerz, K., Suraj, Z.: Discovering concurrent models from data tables with the ROSECON system. Fundam. Informat. 60(1–4), 251–268 (2004)

    MATH  Google Scholar 

  24. Pawlak, Z.: Rough sets. Int. J. Comput. & Informat. Sci. 11, 341–356 (1982)

    Article  Google Scholar 

  25. Pedrycz, W., Gomide, F.: A generalized fuzzy Petri net model. IEEE Trans. on Fuzzy Systems 2–4, 295–301 (1994)

    Article  Google Scholar 

  26. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc, Englewood Cliffs, N.J. (1981)

    MATH  Google Scholar 

  27. Petri, C.A.: Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962 (1966)

    Google Scholar 

  28. Reisig, W.: Petri Nets. Springer Publ, Company (1985). https://doi.org/10.1007/978-0-387-09766-4_134

  29. Starke, P.H.: On the mutual simulatability of different types of Petri nets. In: Voss, K., Genrich, H.J., Rozenber, G. (eds.) Concurrency and Nets, Springer, Berlin, Heidelberg, pp. 481–495 (1987). https://doi.org/10.1007/978-3-642-72822-8_30

  30. Suraj, Z.: PN-tools: environment for the design and analysis of Petri Nets. Control. Cybern. 24(2), 199–222 (1995)

    MathSciNet  MATH  Google Scholar 

  31. Suraj, Z.: A new class of fuzzy Petri nets for knowledge representation and reasoning. Fundam. Informat. 128(1–2), 193–207 (2013)

    Article  MathSciNet  Google Scholar 

  32. Suraj, Z., Bandyopadhyay, S.: Generalized weighted fuzzy petri net in intuitionistic fuzzy environment. In: Proceedings of the IEEE World Congress on Computational Intelligence, 25–29 July, 2016, Vancouver, Canada, pp. 2385–2392 (2016)

    Google Scholar 

  33. Suraj, Z., Grochowalski, P.: Petri Nets and PNeS in Modeling and Analysis of Concurrent Systems, pp. 1–12. Proc. CS&P, Warsaw, Poland (2017)

    Google Scholar 

  34. Suraj, Z., Hassanien, A.E., Bandyopadhyay, S.: Weighted generalized fuzzy petri nets and rough sets for knowledge representation and reasoning. In: Bello, R., Miao, D., Falcon, R., Nakata, M., Rosete, A., Ciucci, D. (eds.) IJCRS 2020. LNCS (LNAI), vol. 12179, pp. 61–77. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52705-1_5

  35. Suraj, Z., Olar, O., Bloshko, Y.: Modeling of passenger transport logistics based on intelligent computational techniques. Int. J. Comput. Intell. Syst. (accepted) (2021)

    Google Scholar 

  36. The Petri Net Markup Language (2017). http://www.pnml.org

  37. The Petri Nets World (2017). http://www.informatik.uni-hamburg.de/TGI/PetriNets

  38. Valette, R.: Analysis of Petri nets by stepwise refinements. J. Comput. Syst. Sci. 18(1), 35–46 (1978)

    Article  MathSciNet  Google Scholar 

  39. Valk, R.: Self-modifying nets: a natural extension of Petri Nets, Lecture Notes in Comput. Sci., vol. 62, Springer, Berlin, pp. 464–476 (1978). https://doi.org/10.1007/3-540-08860-1_35

  40. Wegener, J., Schwarick, M., Heiner, M.: A plugin system for charlie. In: Proceedings of the CS&P, pp. 531–554 (2011)

    Google Scholar 

  41. Popova-Zeugmann, L.: Time petri nets. In: Time and Petri Nets, pp. 31–137. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41115-1_3

    Chapter  MATH  Google Scholar 

  42. Zurawski, R., MengChu, Z.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electr. 41(6), 567–583 (1994)

    Article  Google Scholar 

Download references

Acknowledgment

We thank the anonymous reviewers for their helpful comments.

Author information

Authors and Affiliations

  1. Institute of Computer Science, Rzeszów University, Rzeszów, Poland

    Zbigniew Suraj & Piotr Grochowalski

Authors
  1. Zbigniew Suraj
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Piotr Grochowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zbigniew Suraj .

Editor information

Editors and Affiliations

  1. University of Winnipeg, Winnipeg, MB, Canada

    Sheela Ramanna

  2. Ghent University, Gent, Belgium

    Chris Cornelis

  3. University of Milano-Bicocca, Milan, Italy

    Davide Ciucci

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Suraj, Z., Grochowalski, P. (2021). PNeS in Modelling, Control and Analysis of Concurrent Systems. In: Ramanna, S., Cornelis, C., Ciucci, D. (eds) Rough Sets. IJCRS 2021. Lecture Notes in Computer Science(), vol 12872. Springer, Cham. https://doi.org/10.1007/978-3-030-87334-9_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-87334-9_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-87333-2

  • Online ISBN: 978-3-030-87334-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics