|
|||||
|
|
| Petri网系统活性的研究 | |
| 引用本文： | 陆维明,甄强.Petri网系统活性的研究[J].计算机科学,1999,26(4):1-4. |
| 作者姓名： | 陆维明 甄强 |
| 作者单位： | 中国科学院数学研究所，中国科学院数学研究所 北京 100080，北京 100080 |
| 摘 要： | 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结,表明从一种状态转换为另一种状态发生了什么动作(一种或若干 |
| 关 键 词： | Petri网系统 活性 可达图 动态系统 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |