A Refactoring Algorithm of Workflows based on Petri Nets

被引：4
|
作者：
Toyoshima, Ichiro [1 ]
Yamaguchi, Shingo [1 ]
Zhang, Jia [1 ]
机构：
[1] Yamaguchi Univ, Grad Sch Sci & Engn, 2-16-1 Tokiwadai, Ube, Yamaguchi 7558611, Japan
来源：
2015 IIAI 4TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI) | 2015年
关键词：
D O I：
10.1109/IIAI-AAI.2015.273
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A workflow net (WF-net for short) is a Petri net which represents a workflow. There are two important subclasses of WF-nets: extended free choice (EFC for short) and well-structured (WS for short). It is known that most actual workflows can be modeled as EFC WF-nets; and acyclic WS is a subclass of acyclic EFC but has more analysis methods. A sound acyclic EFC WF-net may be transformed to an acyclic WS WF-net without changing the observable behavior of the net. Such a transformation is called refactoring. We have proposed three refactoring rules. But those rules have been considered separately so far. In this paper, we proposed a new refactoring algorithm named "3 gate refactoring algorithm" by combining those rules. Furthermore, we applied the algorithm to a sample workflow, and confirmed the usefulness.
引用
收藏
页码：79 / 84
页数：6
相关论文
共 50 条
  • [1] Modeling and analysis of workflows using Petri Nets
    Adam, NR
    Atluri, V
    Huang, WK
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 10 (02) : 131 - 158
  • [2] Modeling and Analysis of Workflows Using Petri Nets
    Nabil R. Adam
    Vijayalakshmi Atluri
    Wei-Kuang Huang
    [J]. Journal of Intelligent Information Systems, 1998, 10 : 131 - 158
  • [3] The Analysis of Resource Constrained Workflows using Petri Nets
    Prisecaru, Oana Otilia
    [J]. MSVVEIS 2010: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2010, : 50 - 59
  • [4] Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach
    Captarencu, Oana Otilia
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 486 - 493
  • [5] A Problem Solver for Scheduling Workflows in Multi-agents Systems based on Petri nets
    Hsieh, Fu-Shiung
    Lin, Jim-Bon
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 316 - 321
  • [6] Modeling and assessment of production printing workflows using Petri nets
    Gottumukkala, RN
    Sun, T
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 319 - 333
  • [7] Parallelism refactoring algorithm of semantic workflows based on data produce-consume dependency
    Sun, Jinyong
    Wen, Lijie
    Kuang, Zengxiong
    Li, Tao
    Zhang, Zhan
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2020, 26 (06): : 1636 - 1650
  • [8] A reachability algorithm for general Petri nets based on transition invariants
    Kostin, Alexander E.
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2006, PROCEEDINGS, 2006, 4162 : 608 - 621
  • [9] Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets
    Liu, Yongshan
    Shen, Yanqing
    Hao, Tianbao
    [J]. NEW TRENDS AND APPLICATIONS OF COMPUTER-AIDED MATERIAL AND ENGINEERING, 2011, 186 : 505 - 509
  • [10] Evolving Petri nets with a genetic algorithm
    Mauch, H
    [J]. GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS, 2003, 2724 : 1810 - 1811
12345