HPSim（petri网建模软件）

以确定与随机Petri网为工具，基于周期消息，对光纤通道在航空电子环境的FC-AE-ASM（fiberchannelanonymoussubscribermessaging）网络进行建模仿真，根据仿真

CBTC（CommunicationBasedTrainControl）系统代表当今世界最先进的列车运行控制系统的发展方向。从提高运输效率上来说，与传统的基于轨道电路的列车运行控制系统相比，CBTC系

基于petri网的设备“全生命周期”质量管理建模，吕秀杰，宁新远，设备全生命周期管理就是通过一系列的技术、经济、组织措施，对设备的选型、购置、安装、使用、维护、更新直至报费的全过程进行科

CAN语音通信系统的Petri网建模与仿真，刘虎，沈元元，因为CAN总线的直接通信距离只有10km左右，而且由于收发器驱动能力的限制，总线上最多只能挂110个节点，这给基于CAN总线的语音通信系��

基于面向对象Petri网的集装箱堆场作业流程建模，敖晨，杨欣，本文在了解系统仿真在港口中应用的发展和现状以及深刻理解Petri网的基本原理和方法的基础上；研究集装箱港口平面布局、装卸系统以�

在分析现有Petri网建模及其FPGA实现方法的基础上,首先探讨了并行计算的Petri网建模方法,将并行计算任务分解成多个并行处理单元,用IOPT网为系统进行建模;然后提出了构造监控层和算法层的双层结

服务编排定义语言的随机Petri网建模，夏云霓，王威风，WS-CDL是一种的WEB服务组合定义语言，描述了基于编排机制的端对端服务组件的组合方式。对基于WS-CDL的服务组合进行基于随机Petri网的

论文研究-物流系统三色Petri网建模与分析.pdf,  针对物流系统的一些特点,提出了一种三色Petri网.给出了三色P

细胞的行为是随机性的，学习细胞中的随机性有助于理解细胞的组织，设计和进化。建立、确认和分析随机的生化网络模型是当前计算系统生物学领域的一个重要研究主题。当前，标准的Petri网模型已经成为生化网络模拟

面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网