有界Petri网进程表达式与活性的关系  

Relationship between Process Expression and Liveness of Bounded Petri Nets

作　　者：闫春钢[1,2] 汪明新[1,2] 刘关俊[1,2] 

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海201804

出　　处：《应用科学学报》2012年第4期387-390,共4页Journal of Applied Sciences

基　　金：国家"973"重点基础研究发展计划基金(No.2010CB328101);国家科技重大专项基金(No.2009ZX01036-001-002);上海市曙光跟踪计划基金(No.08GG08)资助

摘　　要：Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.Process of Petri nets can present the concurrent semantic of Petri nets, which is an effective way for analyzing and verifying the Petri net properties. This paper studies the relationship between process expression and liveness of bounded Petri nets, and provides theorems of liveness determination for bounded Petri nets and their synchronous composition nets. The paper also explores the relationship between process expressions and traps and siphons.

关 键 词：PETRI网 进程表达式 活性 陷阱 虹吸 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]