基于Petri网语言的并发系统性质研究

• 作者: 蒋昌俊 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Petri网 并发系统 活性 同步合成 测试 控制
• 年，卷（期）: 2001,（4）
• 页码范围: 512-520
• 页数: 9页
• 分类号: TP301
• 字数: 1629字
• 语种: 中文

摘要

给出Petri网弱活性（无死锁）与活性的两个语言刻画，讨论了同步合成Petri网的语言性质，基于Petri网语言，给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题，给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学研究所	20	189	7.0	13.0