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

Abstract

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.<>