计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2010年
12期
29-33
,共5页
分层Petri网%仓储管理%工作流%存储机制
分層Petri網%倉儲管理%工作流%存儲機製
분층Petri망%창저관리%공작류%존저궤제
文中综合理论研究和仓储管理项目的维护经验.应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例.详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用.经分析验证,得出实验结果正确无误.研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用.
文中綜閤理論研究和倉儲管理項目的維護經驗.應用Petri網理論,介紹瞭Petri網的存儲機製,併提齣瞭基于工作流和Petri網分層建模的實施策略、操作步驟和一套簡明案例.詳細介紹併給齣瞭採用自動工具WoPeD2.0對部分建模實例的驗證分析和脩改過程,分析討論瞭Petri網的存儲機製及在模型驗證中的支柱作用.經分析驗證,得齣實驗結果正確無誤.研究工作重點是提供一套基于Petri網建模分析的實施步驟和簡明案例,旨在推動這一形式化方法在工程領域的廣汎應用.
문중종합이론연구화창저관리항목적유호경험.응용Petri망이론,개소료Petri망적존저궤제,병제출료기우공작류화Petri망분층건모적실시책략、조작보취화일투간명안례.상세개소병급출료채용자동공구WoPeD2.0대부분건모실례적험증분석화수개과정,분석토론료Petri망적존저궤제급재모형험증중적지주작용.경분석험증,득출실험결과정학무오.연구공작중점시제공일투기우Petri망건모분석적실시보취화간명안례,지재추동저일형식화방법재공정영역적엄범응용.