中文摘要：

文中综合理论研究和仓储管理项目的维护经验。应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例。详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用。经分析验证,得出实验结果正确无误。研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用。

英文摘要：

Combined with theoretical research and inventory management project maintenance experience.Applied Petri nets theory,the implementation strategies and operation procedures are proposed based on workflow and the Petri nets layered model and a set of brief case are given.The validation analysis and modification process of modeling samples are introduced with automatic tools WoPeD2.0.The storage mechanism of Petri net and its pillaring effect in model validation are discussed.Through analysis and experimental results verify correct.This research focus provides implementation steps and a set of brief case based on the Petri nets layered model,to promote the formal methods widely used in engineering field.