芮茂雨

（空军勤务学院，江苏 徐州 221000）

0 引言

近年来，随着集装化航空运输的快速发展，航空运输集装托盘需求量将急剧增加，加强航空运输集装托盘的科学化管理成为当务之急[1]。由于航空运输集装托盘具有编配数量大、使用单位分散、投送范围广等特点，致使其使用管理难度增大，倘若管理不当，容易造成托盘产销不平衡、储存使用不协调、维修路径不畅通、回收处理不到位等问题，成为影响和制约集装化航空运输快速发展的瓶颈。为有效解决航空运输集装托盘的生命周期管理问题，通过建立Petri网验证模型，可厘清航空运输集装托盘生命周期各环节的逻辑关系，并通过实例分析和软件模拟验证模型的合理性和可行性，确保航空运输集装托盘生命周期管理的环节完整性和功能完备性，为实现流程化、科学化、自动化的航空运输集装托盘生命周期管理提供技术支持[2]。

1 Petri网方法

Petri网由德国物理学家卡尔·A·佩特里发明，是一种系统行为的图形化描述方法，适合于描述异步的、并发的计算机系统模型[3]。Petri网模型具有动态仿真和数学分析功能，可有效验证航空运输集装托盘生命周期的合理性和可行性[4]。Petri网（如图1所示）通常以圆圈表示库所（系统的状态），以方框表示变迁（资源的消耗、使用及使系统状态产生的变化），以联结库所与变迁之间的有向弧表示输入输出函数，用令牌（黑点或数字）表示库所中拥有的资源数量[5]。采用Petri网方法可以精确……