基于Petri网的并发系统控制器设计

• 作者: 乔如良 张兆庆 蒋昌俊
• 来源期刊: 系统工程学报
• 学科: 数学
• 关键词: Petri网 死锁 控制器
• 年，卷（期）: 2001,（2）
• 所属期刊栏目: 短文
• 页码范围: 116-120
• 页数: 5页
• 分类号: O233
• 字数: 2569字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5781.2001.02.007

摘要

针对并发系统的死锁现象，通过原系统Petri网模型的状态可达图和行 为规范，产生目标系统的可达图，进一步生成控制器的Petri网模型.由此为这类问题的 控制器Petri网模型的生成提供一条有效途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兆庆		1	9	1.0	1.0
2	乔如良		1	9	1.0	1.0