A Petri Net System - an Overview

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.