Department of Information Systems, Delft University of Technology, The Netherlands;
petri net; semantic analysis; process modeling; system analysis;
机译:用于业务流程集成的交互协议的形式化和验证:Petri网方法
机译:基于Petri网的方法对内皮功能障碍的某些方面及其对动脉粥样硬化过程的影响进行了建模和分析
机译:通过Petri网对具有时间和非时间约束的调节系统的鲁棒控制建模方法
机译:将组织符号方法与Petri网的临时方面整合到业务流程建模
机译:业务流程再造与组织发展理论的集成:组织变革的整体方法。
机译:基于Petri网的血管生成分子调控所选方面的建模和分析方法
机译:petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射
机译:用于建模和分析业务流程的petri网类