| 计算高级Petri网S-不变量的一种简单算法 |
| |
| 引用本文： | 林闯,张彤.计算高级Petri网S-不变量的一种简单算法[J].软件学报,1992,3(3):49-55. |
| |
| 作者姓名： | 林闯 张彤 |
| |
| 作者单位： | 国家经济信息中心 北京 100045;中国科学院软件所 北京 100080 |
| |
| 摘 要： | 在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般Petri网。
|
| 关 键 词： | Petri网 S－不变量 算法 |
| 收稿时间： | 1990/7/31 0:00:00 |
AN ALGORITHM FOR COMPUTING S-INVARIANTS FOR HIGH LEVEL PETRI NETS |
| |
| Lin Chuang and Zhang Tong.AN ALGORITHM FOR COMPUTING S-INVARIANTS FOR HIGH LEVEL PETRI NETS[J].Journal of Software,1992,3(3):49-55. |
| |
| Authors: | Lin Chuang and Zhang Tong |
| |
| Abstract: | Net invariants and reachability trees are used to investigate dynamic properties of Petri Nets. Both concepts have been generalized for different classes of High Level Petri Nets. In this paper we introduce the compound token and the token flow path concepts. An algorithm for computing the S-invariants of High Level Petri Nets is presented. In the algorithm, the compound token and the token flow path ideas are adopted and all S -invariants of an HLPN can be generated by a system of integer linear equations without unfolding the net. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
