应用科学学报
應用科學學報
응용과학학보
JOURNAL OF APPLIED SCIENCES
2012年
4期
387-390
,共4页
Petri网%进程表达式%活性%陷阱%虹吸
Petri網%進程錶達式%活性%陷阱%虹吸
Petri망%진정표체식%활성%함정%홍흡
Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.
Petri網進程是對Petri網併髮語義的一箇刻畫,是Petri網分析和驗證的有效手段.該文針對有界Petri網研究進程錶達式和活性性質之間的關繫,給齣瞭基于進程錶達式的有界Petri網及其同步閤成網的活性判定定理.同時研究瞭進程錶達式與虹吸、陷阱間的關繫,是Petri網活性研究的一箇新的嘗試.
Petri망진정시대Petri망병발어의적일개각화,시Petri망분석화험증적유효수단.해문침대유계Petri망연구진정표체식화활성성질지간적관계,급출료기우진정표체식적유계Petri망급기동보합성망적활성판정정리.동시연구료진정표체식여홍흡、함정간적관계,시Petri망활성연구적일개신적상시.