基于共享位置的Petri网系统综合与保性

• 作者: 焦莉 陆维明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 特点保持 共享位置 设计 综合
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 352-360
• 页数: 9页
• 分类号: TP3
• 字数: 9511字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.03.002

摘要

基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学与系统科学研究院	20	189	7.0	13.0
2	焦莉	中国科学院软件研究所计算机科学重点实验室	8	44	4.0	6.0