摘要
本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。
This paper describes a representation and algorithm of saving/loading in compression mode of thePetri net graphs. Meanwhile,the algorithm of transition is given.This work is very helpful for the reachability analysis and verification of Petri nets.
出处
《微电子学与计算机》
CSCD
北大核心
1996年第1期44-47,共4页
Microelectronics & Computer
基金
陕西省科委基金
