| 关于ESAC网活性和有界性的一个多项式算法 |
| |
| 引用本文： | 焦莉,陆维明.关于ESAC网活性和有界性的一个多项式算法[J].软件学报,2002,13(7):1257-1263. |
| |
| 作者姓名： | 焦莉 陆维明 |
| |
| 作者单位： | 中国科学院,数学与系统科学研究院,数学研究所,北京,100080 |
| |
| 基金项目： | 国家自然科学基金资助项目(60073013);国家重点基础研究发展规划973资助项目(G1998030416) |
| |
| 摘 要： | 寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.
|
| 关 键 词： | 扩展强化非对称选择网(ESAC网) 结构活 结构有界 多项式算法 |
| 文章编号： | 1000-9825/2002/12(07)1257-07 |
| 收稿时间： | 2000/9/18 0:00:00 |
| 修稿时间： | 2000年9月18日 |
A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets |
| |
| JIAO Li and LU Wei-ming.A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets[J].Journal of Software,2002,13(7):1257-1263. |
| |
| Authors: | JIAO Li and LU Wei-ming |
| |
| Abstract: | It has been an important direction of Petri net applications to find practical and efficient polynomial algorithms. In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice (ESAC) nets. This algorithm can also decide whether an initial marking of a structurally live and structurally bounded ESAC net is a live marking or not. Since the class of ESAC nets contains free choice (FC) nets, this algorithm shows large area of applications. |
| |
| Keywords: | ESAC nets structural liveness structural boundedness polynomial algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
