petri网工具——gpnt的设计与实现

petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。gpnt(graphicpetrinettools)是西北大学计算机科学系研制的一个具有图形功能的petri网工具软件,用于支持p/t网的设计、动态模拟及特性分析等。本文概要地介绍了该系统的功能并讨论了系统设计与实现中的若干技术问题。