PNeS: Tools for the Design and Analysis Petri Nets

Abstract

Petri net is a strong mathematical modeling language that can be used to represent parallel or concurrent activities in a system. The practical use of Petri nets is strongly dependent upon the existence of adequate computer tools. For Petri nets one needs editors as well as analysis programs. Modern computers provide an opportunity to work directly with the graphical representations of Petri nets. This paper describes integrated graphical Petri net tools called PNeS for construction of nets, as well as modification and analysis. PNeS allows us to work with different classes of Petri nets. Several analysis tools are available for each of these classes. PNeS works on any computer under any operating system.