集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。

WF-net Modeling and Implementation of Tracking Container Movement

Container movement is a distributed and periodic process, which is characterized by its regular state changes, so it can be considered as a state-based workflow process. The modeling of workflow process is the basis of implementing,simulating and analyzing workflow process. The WF-net is developed from Petri nets and based on state changes, and it is a modeling method for workflow process. This paper presents the container movement WF-net model and its implementation.