Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Mining Incomplete Data Using Global and Saturated Probabilistic Approximations Based on Characteristic Sets and Maximal Consistent Blocks Read chapter Read first chapter

2021 | OriginalPaper | Chapter

PNeS in Modelling, Control and Analysis of Concurrent Systems

Authors : Zbigniew Suraj, Piotr Grochowalski

Published in: Rough Sets

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Knowledge Graph Representation Learning for Link Prediction with Three-Way Decisions
next chapter 3RD: A Multi-criteria Decision-Making Method Based on Three-Way Rankings
Literature
1.
2.
3.
Bruno, J., Altman, S.M.: A theory of asynchronous control networks, IEEE Trans. Comput. C-20, 629–638 (1971)
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)CrossRef
5.
David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice Hall, New York (1992)MATH
6.
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)CrossRef
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)CrossRef
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)CrossRef
10.
Hack, M.: Decidability Questions for Petri Nets. Ph.D. Dissertation, Department of Electrical Engineering, MIT, Cambridge (1975)
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)CrossRef
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)
13.
Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets. Theory and Application, Springer, Berlin (1991)MATH
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)
15.
16.
Kindler, E., Nillies, F.: Petri Nets and the Real World, Semantic Scholar, Corpus ID: 1119127 (2006)
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)CrossRef
18.
Looney, C.G.: Fuzzy petri nets for rule-based decision-making. IEEE Trans. Syst. Man, Cybern. 18–1, 178–183 (1988)CrossRef
19.
20.
Meyer, R., Strazny, T.: Petruchio: from dynamic networks to nets. In: Computer Aided Verification, pp. 175–179. Springer, Berlin (2010)CrossRef
21.
Murata, T.: Petri nets: properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)CrossRef
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
23.
Pancerz, K., Suraj, Z.: Discovering concurrent models from data tables with the ROSECON system. Fundam. Informat. 60(1–4), 251–268 (2004)MATH
24.
Pawlak, Z.: Rough sets. Int. J. Comput. & Informat. Sci. 11, 341–356 (1982)CrossRef
25.
Pedrycz, W., Gomide, F.: A generalized fuzzy Petri net model. IEEE Trans. on Fuzzy Systems 2–4, 295–301 (1994)CrossRef
26.
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc, Englewood Cliffs, N.J. (1981)MATH
27.
Petri, C.A.: Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962 (1966)
28.
29.
30.
Suraj, Z.: PN-tools: environment for the design and analysis of Petri Nets. Control. Cybern. 24(2), 199–222 (1995)MathSciNetMATH
31.
Suraj, Z.: A new class of fuzzy Petri nets for knowledge representation and reasoning. Fundam. Informat. 128(1–2), 193–207 (2013)MathSciNetCrossRef
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)
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)
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)
36.
37.
38.
39.
40.
Wegener, J., Schwarick, M., Heiner, M.: A plugin system for charlie. In: Proceedings of the CS&P, pp. 531–554 (2011)
41.
42.
Zurawski, R., MengChu, Z.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electr. 41(6), 567–583 (1994)CrossRef
Metadata
Title
PNeS in Modelling, Control and Analysis of Concurrent Systems
Authors
Zbigniew Suraj
Piotr Grochowalski
Copyright Year
2021
Book
Rough Sets

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

Electronic ISBN: 978-3-030-87334-9

Copyright Year: 2021

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

Premium Partner

    Image Credits