Affiliations: Chair of Computer Science Foundations, University of
Information Technology and Management, Sucharskiego Str. 2, 35-225
Rzeszów, Poland. E-mail:
{zsuraj,bfryc,zmatusiewicz,kpancerz}@wsiz.rzeszow.pl
Abstract: 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 – a good editor, a simulator and a 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 follow – up on PN-tools. This system can be
used for constructing, editing and analyzing of different classes of Petri
nets. PN-system is enhanced with 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 runs on IBM PC platform under MS Windows operating
system.
Keywords: concurrency, modelling, Petri net tools, approximate Petri nets, approximate reasoning, decision systems
