A petri net system: an overview

Authors:
Zbigniew Suraj;Barbara Fryc;Zofia Matusiewicz;Krzysztof Pancerz
Affiliations:
Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, Poland;Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, Poland;Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, Poland;Chair of Computer Science Foundations, University of Information Technology and Management, Rzeszów, Poland
Venue:
Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
Year:
2006

Citing 6
Cited 0

Petri net tool overview 1989

Advances in Petri nets 1989
XML Bible

XML Bible
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Knowledge Representation Using Fuzzy Petri Nets

IEEE Transactions on Knowledge and Data Engineering
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovering Concurrent Models from Data Tables with the ROSECON System

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

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.