基于Petri网的并发编程死锁预防策略 (2012年)

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