机译:从高级业务流程到Petri网络映射的静态分析和流程模型转换
Friedrich Schiller Univ Jena, Inst Comp Sci, Ernst Abbe Pl 2, D-07743 Jena, Germany;
Friedrich Schiller Univ Jena, Inst Comp Sci, Ernst Abbe Pl 2, D-07743 Jena, Germany;
IBM Res & Dev Boblingen, Schonaicher Str 220, D-71032 Boblingen, Germany;
business process; model transformation; Petri net; static analysis; workflow graph;
机译:将业务流程模型和注释模型转换为Petri网及其分析:
机译:基于队列逻辑Petri网的业务流程建模与分析
机译:基于Petri网和Pi演算的协作业务流程的统一建模和分析
机译:从UML状态图和协作图到彩色Petri网模型:基于图变换的虚拟企业业务流程建模和分析方法
机译:转换过程到理论U的映射:以美国城市政府的信息技术和创新部门的转换一致性为例,以改善商业服务。
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射
机译:用于建模和分析业务流程的petri网类