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

互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题。为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势。

无触C/E系统中同步距离性质的研究

同步距离是刻画事件之间同步关系的一个重要的定量分析手段。文章对C/E系统中有关同步距离的性质进行了研究,首次提出了片集夹的概念。文章证明的结果是同步距离性质最基础部分,而且同步距离又是Petri网的一个重要的内容,因此对同步距离的研究显得尤为重要。