PNSOFT: a menu-driven software package for Petri-net modeling and analysis

A discussion is presented of PNSOFT, a user-friendly, menu-driven software package for Petri-net modeling and analysis of real-time systems. It aids in the design, management and analysis of Petri-net models. PNSOFT runs in an automated programming environment that provides both a graphical and a matrix interface for the creation and modification of Petri-net models in different environments. The proposed software package is written in the C programming language and is efficient with respect to both time and space. It can easily be upgraded to perform a variety of other functions. The data structures created by PNSOFT´s editing facilities can be used by other application programs. Various functions and programs used for analytical operations can be directly accessed by the user, using a menu-driven interface, at different levels.<>