计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2010年
11期
223-226,229
,共5页
并发%真并发%交叠式并发%C/E系统%交叠式序列
併髮%真併髮%交疊式併髮%C/E繫統%交疊式序列
병발%진병발%교첩식병발%C/E계통%교첩식서렬
在CCS中,Milner把系统中的两个事件处于并发定义为"它们可以按任意顺序发生".这个关于并发的定义被称之为"交叠式并发".然而在网论中,Petri把并发定义为"非序",并指出并发是冲突的精确对偶.Petri关于并发的定义被公认为"真并发".为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式.
在CCS中,Milner把繫統中的兩箇事件處于併髮定義為"它們可以按任意順序髮生".這箇關于併髮的定義被稱之為"交疊式併髮".然而在網論中,Petri把併髮定義為"非序",併指齣併髮是遲突的精確對偶.Petri關于併髮的定義被公認為"真併髮".為瞭研究這兩種併髮概唸的聯繫和差異,以C/E繫統為模型,分彆從這兩種不同定義的視角齣髮,討論瞭併髮的錶現和實質,併對網繫統中存在的不同併髮組閤情況給齣瞭求交疊式序列(根據交疊式併髮概唸而得齣)箇數的一組計算公式.
재CCS중,Milner파계통중적량개사건처우병발정의위"타문가이안임의순서발생".저개관우병발적정의피칭지위"교첩식병발".연이재망론중,Petri파병발정의위"비서",병지출병발시충돌적정학대우.Petri관우병발적정의피공인위"진병발".위료연구저량충병발개념적련계화차이,이C/E계통위모형,분별종저량충불동정의적시각출발,토론료병발적표현화실질,병대망계통중존재적불동병발조합정황급출료구교첩식서렬(근거교첩식병발개념이득출)개수적일조계산공식.
