机译:验证业务流程的稳健性:决策过程Petri网方法
Faculty of Physics and Mathematics, National Polytechnic Institute, Edificio 9 U.P. Adolfo Lopez Mateos, Col. San Pedro Zacatenco, 07730 Mexico City, Mexico;
Soundness; Workflow nets; Decision-process Petri nets; Stability; Lyapunov methods; Optimization;
机译:使用扩展Petri网的跨部门协作业务流程的建模和验证
机译:一种基于分层Petri网的方法,用于验证互联BPEL过程
机译:使用Petri网的电子商务的新业务流程验证方法
机译:规范和验证复杂的业务流程-基于Petri网的高级方法
机译:组成分层时间Petri网的验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射
机译:用于建模和分析业务流程的petri网类