机译:基于UML和Petri网的业务流程建模的形式化和验证
School of Management and Economics, Beijing Institute of Technology, Beijing 100081, China;
business process modeling; unified modeling language(UML); Petri nets; activity diagram;
机译:使用扩展Petri网的跨部门协作业务流程的建模和验证
机译:验证业务流程的稳健性:决策过程Petri网方法
机译:基于Petri网的协同应急响应过程建模与正确性验证
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射
机译:用于建模和分析业务流程的petri网类