摘要
本文介绍了一种交互式Petri网图形系统的设计思想与实现细节,其中包括系统功能;Petri网的数据结构以及其图形的压缩存储/还原算法;从Petri网图形到其矩阵表示的自动转换等。
This paper describes the design and implementation of an interactive Petri Nets graph system.The contents include the function of system,the data structure,the saving and loading of Petri Nets graph in compression mode and algorithm of transition,etc.
出处
《小型微型计算机系统》
CSCD
北大核心
1995年第7期21-25,共5页
Journal of Chinese Computer Systems
基金
陕西省科委基金