Petri网替换运算的不变量保持条件

• 作者: 吴哲辉 岳昊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Petri网 不变量 保持条件
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 人工智能及图像处理
• 页码范围: 230-233
• 页数: 4页
• 分类号: TP3
• 字数: 4788字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.02.055

摘要

提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N'的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N',以达到节省计算开支的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴哲辉	山东科技大学信息科学与工程学院	88	638	14.0	19.0
2	岳昊	山东科技大学信息科学与工程学院	9	57	5.0	7.0