计算机科学 ›› 2006, Vol. 33 ›› Issue (10): 221-224.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法，并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
关键词: 区间速率连续Petri网 有效冲突 瞬时引发速率 标识等价美
Abstract: The problem of effective conflict for interval speed continuous Petri nets （ICPN）is discussed. Since the instantaneous firing speed （IFS）is one of key parameters in effective conflict analysis, an efficient way to determine the instantaneous firing speed
Key words: Interval speed continuous Petri nets, Effective conflict, Instantaneous firing speed, marking equivalence
. 区间速率连续Petri网的有效冲突及其消解[J]. 计算机科学, 2006, 33(10): 221-224. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I10/221
Cited
首页