浙江大学学报（理学版）2012，Vol.39Issue(1)：43-49,55,8.DOI:10.3785/j.issn.1008-9497.2012.01.010
基于Petri网的并发编程死锁预防策略
Deadlock prevention policy of concurrent programming base on Petri net
丁力 1董利达 1朴云1
作者信息
- 1. 浙江大学电子电路与信息系统研究所,浙江杭州310027
- 折叠
摘要
Abstract
This paper proposed a Petri net model of concurrent programs with synchronization signals-S3PS(system of simple sequential process with signals) net for the deadlock problem in concurrent programming. We also proved that the sufficient and necessary condition of this subclass of Petri net being alive is its siphons that never being unmarked. Then by the addition of control ling arc to strict minimal siphons, siphons in S3PS net cannot be unmarked, and the net is alive, so that the deadlock problem in concurrent programs was solved. The application example illustrates the feasibility of S3 PS in modeling concurrent programming and the effectiveness of the deadlock prevention policy.关键词
并发编程/Petri网/虹吸/死锁预防Key words
concurrent programming/ Petri net/ siphon/ deadlock prevention分类
信息技术与安全科学引用本文复制引用
丁力,董利达,朴云..基于Petri网的并发编程死锁预防策略[J].浙江大学学报（理学版）,2012,39(1):43-49,55,8.
