In: West Data Base Workshop, 1990, Kiev, USSR / Schmidt, J.W.; et al.: Lecture Notes in Computer Science, Vol. 504; Next Generation Information System Technology. Proceedings of the First International East, pages 1-440 pp.. Berlin, Germany: Springer-Verlag, 1991.
Abstract: The main functional components of the Integrated Software Tool Supporting Petri Nets (ISTSPN) are: a Petri net (PN) support system (PN SS), a system for Petri net simulation in a GPSS/PS environment (GPSS SIM), and a Petri net printing system (PN PS). The PN SS includes PN editing, modelling, analysing and subsystem referencing. The editing subsystem allows the creation and modification of extended PNs. The modelling subsystem supports step by step PN definition and automatic PN functioning modes. The analysing subsystem is based on the reachability tree and allows one to explain capacity properties. The reference subsystem provides for prompts and assists the user in all subsystems and modes.
Keywords: ISTSPN, integrated software tool supporting nets; net tool; net simulation; reachability tree; capacity property; subsystem analysis; net printing system.