计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 91-96.doi: 10.11896/j.issn.1002-137X.2014.07.018

• 2013'Petri 网 • 上一篇    下一篇

基于模态Petri网的行为有效区间寻找最优路径的方法

方贤文,陶小燕,刘祥伟   

  1. 安徽理工大学信息与计算科学系 淮南232001;安徽理工大学信息与计算科学系 淮南232001;安徽理工大学信息管理系 淮南232001
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金项目(61272153,9,61340003),安徽省高校省级自然科学基金重点项目(KJ2011A086,KJ2012A073),安徽省自然科学基金项目(1208085MF105),安徽省软科学研究计划项目(12020503031)资助

Method of Optimal Path Selection Based on Modal Petri Net Branching Effective Range

FANG Xian-wen,TAO Xiao-yan and LIU Xiang-wei   

  • Online:2018-11-14 Published:2018-11-14

摘要: 为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。

关键词: 行为轮廓,分支有效区间,行为约束,最优路径 中图法分类号TP391.9文献标识码A

Abstract: For adapting business needs,looking for optimal path of behavior execution in business process under beha-vior constraints has a certain practical significance.The existing proposed methods are to search the optimal path by optimization algorithms or behavior analysis on the basis of static analysis,ignoring the impact of behavioral constraints on the effectiveness of the execution behavior,thus have some limitations.On the basis of the existing methods,using the ordering relation of Petri nets behavior profile to describe constraints and determine behavioral effective ranges, this paper proposed a method of optimal path selection in business process based on modal Petri net branching effective ranges.This method uses behavioral effective ranges to substitute for the existing fixed value,so as to better describe behavior constraints of business processes and effective behavior under constraints.Finally,a specific case analysis was given out,which shows the proposed method is effective.

Key words: Behavioral profile,Branching effective range,Behavior constraints,Optimal path

[1] Yannibelli V,Amandi A.Hybridizing a multi-objective simulated annealing algorithm with a multi-objective evolutionary algorithm to solve a multi-objective project scheduling problem [J].Expert Systems with Applications,2013,40:2421-2434
[2] Ranjan S P,Km B,Raghurama G.An approach of optimal path generation using ant colony optimization[C]∥2009IEEE Region 10C onference(TENCON 2009).Singapore:IEEE,2009:1632-1637
[3] Weidlich M,Ziekow H,Mendling J.Optimising complex event queries over business processes using behavioural profiles[C]∥Business Process Management Workshops,2011.Hoboken,NJ:Stevens Inst Technol,2011:743-754
[4] Fazlollahtabar H,Mahdavi-Amiri N.Producer’s behavior analysis in an uncertain bicriteria AGV-based flexible jobshop manufacturing system with expert system [J].Int J Adv Manuf Technol,2013,65:1605-1618
[5] Smirnov S,Weidlich M,Mendling J.Business process model abstraction based on behavioral profiles[C]∥Service-Oriented Computing(ICSOC 2010).San Francisco,CA,2010:1-16
[6] Smirnov S,Weidlich M,Mendling J.Business process model abstraction based on synthesis from well-structured behavioral profiles [J].Information Systems,2012,21(1):55-83
[7] Weidlich M,Mendling J,Weske M.Efficient consistency mea-surement based on behavioural profiles of process models[J].Softare Engineering,2011,37(3):410-429
[8] Weidlich M,Weske M,Mendling J.Change propagation inprocess models using behavioural profiles [C]∥IEEE Int.Conf.on Services Computing.Potsdam,2009.2009:33-40
[9] 蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003:6-42
[10] Fang Xian-weng,Hao Wen-jun.The Approach of Analyzing the Smallest Change Domain in Process Models based on Petri Nets [J].Applied Mathematics and Information Sciences,2012,6(3):943-949
[11] Elhog-Benzina D,Haddad S,Hennicker R.Refinement andAsynchronous Composition of Modal Petri Nets[C]∥ Trans.on Petri Nets and Other Models of Concurrency V(LNCS 6900).Berlin Heidelberg:Springer,2012:96-120
[12] Weidlich M,Polyvyanyy A,Desai N,et al.Process complianceanalysis based on behavioural profiles [J].Information Systems,2011,36(7):1009-1025
[13] Weidlic M.Behavioural profiles--a relational approach to beha-viour consistency [D].Potsdam:Hasso Plattner Institute,University of Potsdam,2011

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!