基于M-Petri网的活性研究 |
| |
引用本文: | 王文德,左风朝. 基于M-Petri网的活性研究[J]. 计算机工程与应用, 2001, 37(15): 98-99 |
| |
作者姓名: | 王文德 左风朝 |
| |
作者单位: | 聊城师范学院计算机科学系, |
| |
基金项目: | 山东省自然科学基金资助课题(编号:Y97G08108) |
| |
摘 要: | 文章给出了M-Petri网的概念,并对其活性进行分析,给出了几个判定 M-Petri网活的条件。
|
关 键 词: | M-Petri网 Petri网 活性 |
文章编号: | 1002-8331-(2001)15-0098-03 |
修稿时间: | 2001-03-01 |
Liveness Discuss Based on M-Petri Net |
| |
Abstract: | : A M-Petri net ∑M is defined on Petri nets ∑1,∑2,…,∑p in this paper.The liveness of ∑M is discussed and some deciding conditions of liveness is given. |
| |
Keywords: | : M-Petri net,Petri net,liveness |
本文献已被 CNKI 维普 万方数据 等数据库收录! |