State Key Laboratory for Novel Software Technology;
Department of Computer Science and Technology, Nanjing University, Nanjing, China, Post Code 210093;
Faculty of Information and communication technology, Swinburne University of Technology, Melbourne, Aus;
机译:应用基于Petri网的约简方法验证工作流模型的正确性
机译:制造资源控制工作流建模的合同合作网络方法
机译:基于Petri Net的工作流访问控制模型
机译:双工作流网:工作流建模和验证的混合控制/数据流表示
机译:可补偿工作流建模语言的设计,开发和验证。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:使用线性逻辑基于中间化工作流网的SOA模型中的要求方案验证要求的方案