论文部分内容阅读
该文详细讨论了Petri网系统合成操作过程中并发行为关系,即并发语言关系.深入研究四种最主要的合成操作(共享合成、同步合成、自环连接、抑制弧连接)下一些重要性质的保持关系,如动态不变性、活性、无死锁性及可回复性的保持性.所用方法基于路径的并发合成,且均是在并发语言的范畴内讨论的.它的一个主要优点是能合成超出非对称选择网类的Petri网系统.同时得到了一些新的、具有理论与实际应用价值的结果.该文的主要贡献包括:1.描述了四种合成操作中合成网系统与各子网系统之间的并发语言关系,给出了相应的递归语言关系式.该语言关系式给出了合成网系统产生的所有并发语言,进一步可通过它来判定合成网系统的一些重要性质,如活性、无死锁性等.2.在并发语言的范畴内,证明了同步合成、自环连接、抑制弧连接这三种全成操作均满足动态不变性.其中同步合成的动态不变性较以往只在顺序语言的范畴下成立的工作更进一步.而自环连接、抑制弧连接的动态不变性则是新给出的结果.动态不变性的保持性为研究合成操作中一些重要性质的保持性起了关键的作用,同时它也刻画了Petri网系统合成操作中并发行为的动态特征,因此具有重要的应用价值.3.分别给出并证明了共享合成、同步合成、自环连接、抑制弧连接中判定合成网系统有活性、无死锁性及可回复性的充要条件.4.分别提出并证明了共享合成、同步合成、自环连接、抑制弧连接中有活性保持性的条件.由于在共享合成活性保持性的研究中一直进展不大,因而这方面的工作是一个有力的推动.又在同步合同、自环连接、抑制弧连接中得到的活性保持性条件是充要条件,且能合成超出非对称选择网类的Petri网系统,因而更具应用性.5.分别给出并证明了共享合成、同步合成、抑制弧连接中有无死锁性保持性的条件,所给合成条件同样能合成超出非对称选择网类的Petri网系统.6.分别给出并证明了同步合成、自环连接中有可回复性保持性的条件.注意到可回复性的保持性研究以往的工作甚少,因此该文的工作是对可回复性保持性研究较大推进.