基于Petri网建模的互斥问题优化方案

摘要

Mutual exclusion is an effective method of solving the conflict with the appliction of resource and sharing resources. But simple mutual exclusion bring some problems to the synchronization. Based on the Petri nets representation of the mutually exclusive process, analyse and propose an improved and optimized scheme, adopting the synchronic distance to analyse and calculate the logic and time synchronization distance and data synchronization strategy. It is proved that the improved scheme can reduce the synchronic distance of the process and decrease the runtime and resource consumption of the system.%互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题.为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势.