In: 93, Warsaw University of Technology: Institute of Computer Science Research Report 3. 1993.
Abstract: Petri nets are now widely used in both theoretical analysis and practical modeling of concurrent systems. The practical use of Petri nets strongly dependent upon the existence of adequate computer tools - helping the user to handle all the details of a large and complex description. For Petri nets one needs editors as well as analysis programs. Graphical work stations provide an opportunity to work directly with the graphical representations of Petri nets. This paper describes the integrated graphical Petri net tools (in the following called PN-tools) for construction of nets as well as modification and analysis. PN-tools allows us to work with different classes of Petri nets. Several analysis tools are available for each of these classes. PN-tools is running on IBM PC microcomputers under MS-DOS operating system.