基于Petri网的并发编程死锁预防策略

• 作者: 丁力 朴云 董利达
• 来源期刊: 浙江大学学报（理学版）
• 学科: 工学
• 关键词: 并发编程 Petri网 虹吸 死锁预防
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 电子科学
• 页码范围: 43-49,55
• 分类号: TP391
• 字数: 7150字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-9497.2012.01.010

摘要

针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董利达	浙江大学电子电路与信息系统研究所	21	152	7.0	12.0
2	丁力	浙江大学电子电路与信息系统研究所	8	18	3.0	3.0
3	朴云	浙江大学电子电路与信息系统研究所	2	4	1.0	2.0