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

摘要：

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

关键词：并发、真并发、交叠式并发、C/E系统、交叠式序列

所属期刊栏目：37

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60673053,90718011

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：223-226,229