计算机科学 ›› 2005, Vol. 32 ›› Issue (9): 18-20.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法.
关键词: 非对称选择网 活性 活性单调性 Petri网 分析算法
Abstract: Liveness is one of the important behavioral properties of Petri nets. The aim of this contribution is to draw a more powerful algorithm to decide liveness of asymmetric choice nets (AC). Firstly, this paper presents difinhions of Pre-induced subnet and Po
Key words: Asymmetric choice net, Liveness, Liveness monotonicity, Algorithm
. 判定非对称选择网活性及活性单调性的一个算法[J]. 计算机科学, 2005, 32(9): 18-20. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I9/18
Cited