概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活...概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。展开更多
1 引言
Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位...1 引言
Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位置/变迁网(PT-nets),PT-nets后来命名为Petri网(Petri Net).这些早期的网模型在理论上都归结为基本网(EN-nets).研究者通过对PT-nets进行了扩展,在网中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求.展开更多
文摘概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。
