论文部分内容阅读
港口集装箱物流系统是一个复杂的离散时间动态系统（DEDS），适合于使用着色Petri网进行系统建模。CPNT00ls是一款成熟的CPN建模与仿真工具，使用CPNTools进行着色Petri网的建模与仿真不但可以简化建模过程，而且可使用标准ML语言对模型进行定义和描述，为复杂物流系统的建模与仿真提供了有力的支持。