|
|||||
|
|
| 着色Petri网的结构展开方法 | |
| 作者姓名： | 宋阿妮 王明哲 郭法滨 倪枫 |
| 作者单位： | 华中科技大学 控制科学与工程系,武汉 430074 |
| 摘 要： | 为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持. |
| 关 键 词： | 着色Petri网 普通Petri网 关联矩阵 展开 |
| 收稿时间： | 2009-09-13 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 | |
| 点击此处可从《系统工程理论与实践》下载全文 | |