计算机科学 ›› 2009, Vol. 36 ›› Issue (2): 230-233.
• • 上一篇 下一篇
岳昊 吴哲辉
出版日期:
发布日期:
基金资助:
YUE Hao ,WU Zhe-hui （College of Information, Shandong University of Science and Technology, Qingdao 266510,China）
Online:
Published:
摘要： 提出了Petri网替换运算的不变量保持条件，根据这些条件，可以由轮廓模型N和子系统模型N1的T-不变量（9不变量）得到加细模型N’的T-不变量（S-N变量），充分利用已知的轮廓模型N和子系统模型N1的T-不变量（S-N变量），避免从头处理加细模型N’，以达到节省计算开支的目的。
关键词: Petri网 不变量 保持条件
Abstract: The invariant conservation condition for the replacement operation of Petri nets was proposed. One can obtain the T- invariant（or S- invariant） of the refined model N＇ using the T- invariant（or S- invariant） of the original model N and sub-system model N1
Key words: Petri net, Invariant, Conservation condition
岳昊 吴哲辉. Petri网替换运算的不变量保持条件[J]. 计算机科学, 2009, 36(2): 230-233. https://doi.org/
YUE Hao ,WU Zhe-hui （College of Information, Shandong University of Science and Technology, Qingdao 266510,China）. [J]. Computer Science, 2009, 36(2): 230-233. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I2/230
Cited
首页