小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2010年
4期
744-746
,共3页
Petri网%进程%基本子进程%S-组合
Petri網%進程%基本子進程%S-組閤
Petri망%진정%기본자진정%S-조합
Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法.
Petri網進程是反映Petri網動態特性的重要工具.Petri網的進程錶達式可以給齣繫統全部進程的描述,但是對于求取Petri網的進程錶達式時用到的基本子進程,其求取通常是比較睏難.通過分析Petri網S-組閤過程中滿足的進程特性,給齣S-組閤網與子網的基本子進程之間的關繫,即S-組閤Petri網的閉基本子進程的集閤是子網的閉基本子進程的集閤的併集.這樣,就將求取結構複雜Petri網的基本子進程的問題轉化為求取其結構簡單的組閤子網的基本子進程的問題,為求取結構複雜Petri網的基本子進程提供瞭一種方法.
Petri망진정시반영Petri망동태특성적중요공구.Petri망적진정표체식가이급출계통전부진정적묘술,단시대우구취Petri망적진정표체식시용도적기본자진정,기구취통상시비교곤난.통과분석Petri망S-조합과정중만족적진정특성,급출S-조합망여자망적기본자진정지간적관계,즉S-조합Petri망적폐기본자진정적집합시자망적폐기본자진정적집합적병집.저양,취장구취결구복잡Petri망적기본자진정적문제전화위구취기결구간단적조합자망적기본자진정적문제,위구취결구복잡Petri망적기본자진정제공료일충방법.
