C/E网系统中交叠式序列的计数

在CCS中,Milner把系统中的两个事件处于并发定义为"它们可以按任意顺序发生"。这个关于并发的定义被称之为"交叠式并发"。然而在网论中,Petri把并发定义为"非序",并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为"真并发"。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。