Petri网控制结构的合成运算

• 作者: 张继军
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Petri网 网合成表达式 控制结构 合成运算 关联矩阵
• 年，卷（期）: 2005,（20）
• 所属期刊栏目: 学术探讨
• 页码范围: 85-88,214
• 页数: 5页
• 分类号: TP391
• 字数: 4276字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.20.025

摘要

借助于模块化设计、分析思想,定义了Petri网顺序连接、选择、重复、并行等控制结构的合成运算及其对应的关联矩阵的合成运算;给出了合成Petri网的形式描述--网合成表达式;实现了基于子系统的Petri网建立复杂系统的Petri网模型,给出了利用子网的关联矩阵构造合成Petri网的关联矩阵的算法,为合成Petri网的结构性质分析的自动化提供了方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张继军	山东农业大学信息学院	25	123	7.0	9.0