不变量分析相关论文
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达性......
从拓扑结构的角度分析生化反应网络是生物信息学研究中的一个热点问题.通过将两种传统的途径分析方法(基元模式和极端途径)与Petri......
Petri网在离散事件的动态仿真中有着广泛的应用,而如何将Petri网应用到离散制造系统中具有重大的价值。以离散制造业中最常见的搬......
在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和......
从拓扑结构的角度分析生化反应网络是生物信息学研究中的一个热点问题。通过将两种传统的途径分析方法(基元模式和极端途径)与Petri......
随着制造工业信息技术的高速发展,企业如果想实现管理控制一体化,就必须要求底层的控制策略能够满足现代企业管理的诸多新的要求。......
学位
本文首先论述了Petri网的概念、性质以及主要的分析方法;介绍了以Petri网标准化为背景的PNML语法规范的定义和性质;并对PTAnalyser......