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

摘要：

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

关键词：Petri网、死锁、控制器

所属期刊栏目：16

分类号：O233(控制论、信息论（数学理论）)

资助基金：国家自然科学基金69973029,69933020;全国高等学校优秀博士学位论文作者专项基金199934;山东省优秀中青年科学家科研奖励基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：116-120