A Petri Net System - an Overview

• Autorzy: Suraj Z. , Fryc B. , Matusiewicz Z. , Pancerz K.
• Języki publikacji: EN

Abstrakty

EN

Petri nets are one of well established tools in both theoretical analysis and practical modelling of concurrent systems as well as approximate reasoning. However, practical usage of Petri nets is limited by the lack of computer tools which would allow to handle large and complex nets in a comfortable way. Three things are essential for modelling and analyzing by means of Petri nets - good editor, simulator and powerful analysis engine. Moreover, a program should have a graphical user interface providing an opportunity to work directly with the graphical representations of Petri nets and should be able to read and write data in formats of other popular simulators of Petri Nets. This paper presents a set of integrated graphical Petri net tools called Petri Net system (PN-system, in short). PN-system is a following version of PN-tools. This system can be used for constructing, editing and analyzing of different classes of Petri nets. PN-system is enhanced on fuzzy and adaptive fuzzy Petri nets' modules which allow to perform fuzzy reasoning automatically. It has got a graphical user interface. Moreover, PN-system can cooperate with the ROSECON system which is an original software tool for discovering concurrent models from data tables. PN-system is run on IBM PC platform under MS Windows operating system.

Słowa kluczowe

EN

concurrency; modelling; Petri net tools; approximate Petri nets; approximate reasoning; decision systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 71, nr 1
• Strony: 101--120
• Opis fizyczny: wykr., bibliogr. 12 poz.

Twórcy

autor

Suraj Z.

autor

Fryc B.

autor

Matusiewicz Z.

autor

Pancerz K.

• Chair of Foundations of Computer Science, University of Information Technology and Management, H.Sucharskiego 2, 35-225 Rzeszów, Poland,

Bibliografia

• [1] Chen S.-M., Ke J.-S., Chang J.-F.: Knowledge Representation Using Fuzzy Petri Nets, IEEE Transactions on Knowledge and Data Engineering, vol.2, no.3, September 1990, pp. 311-319.
• [2] Feldbrugge F.H.J.: Petri net tool overview 1989, in: G. Rozenberg (ed.), Advances in Petri Nets 1989, Lecture Notes in Computer Science, vol. 424, Springer - Verlag 1987, pp. 151-178.
• [3] Fryc B., Pancerz K., Peters J.F., Suraj Z.: On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets, Fundamenta Informaticae, vol. 60 (1-4), IOS Press, Amsterdam, 2004, pp. 143-157.
• [4] Hack M.: Decidability questions of Petri nets, Ph. D. disertation, Development of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, 1975.
• [5] Harold E. R.: The XML Bible, IDG Books, 2002.
• [6] Pancerz K., Suraj Z.: From Data Tables to Net Models with Using the ROSECON System, Proc. of theWorkshop on Concurrency, Specification and Programing 2003, Czarna, Poland, September 25-27, 2003, vol. 2, pp. 397-411.
• [7] Pancerz K., Suraj Z.: Discovering Concurrent Models from Data Tables with the ROSECON System, Fundamenta Informaticae, vol. 60 (1-4), IOS Press, Amsterdam, 2004, pp. 251-268.
• [8] Peterson J.L.: Petri Net Theory and the Modeling of System, Prentice-Hall, Inc., 1981, Englewood Cliffs, N.J.
• [9] Petri C.A.: Kommunikation mit Automaten, Bonn Institut f¨ur Instrumentalle Mathematik, Schriften des IIM Nr. 3, 1962. Also, English translation Communication with Automate. New York: Griffiss Air Force Base. Tech. Rep. RADC-Tr-65-377, vol. 1, 1966, Suppl. 1.
• [10] Suraj Z.: PN-tools: environment for the design and analysis of Petri nets, Control and Cybernetics, vol. 24, no. 2, 1995.
• [11] Suraj Z., Szpyrka M.: Petri Nets and PN-TOOLS, Pedagogical University, Rzeszow 1999 (in Polish).
• [12] http://daimi.au.dk/Petri Neets/tools/complete_db.html