Hierarchical colored Petri nets based components for workflow systems

被引:10
|
作者
Zhou, Feng
Bo, Rui-Feng
Huang, Hong-Zhong [1 ]
Ling, Dan
Miao, Qiang
机构
[1] Univ Elect Sci & Technol China, Sch Mechatron Engn, Chengdu 610054, Peoples R China
[2] Dalian Univ Technol, Sch Mech Engn, Dalian 116023, Peoples R China
关键词
workflow; component; hierarchical colored Petri nets; workflow mining;
D O I
10.1007/BF02916256
中图分类号
TH [机械、仪表工业];
学科分类号
0802 ;
摘要
Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.
引用
收藏
页码:1527 / 1533
页数:7
相关论文
共 50 条
  • [21] Research on workflow patterns based on Petri nets
    Zhang, Liang
    [J]. 2006 IEEE Conference on Robotics, Automation and Mechatronics, Vols 1 and 2, 2006, : 163 - 168
  • [22] Using colored Petri nets to model and analyze workflow with separation of duty constraints
    Yahui Lu
    Li Zhang
    Jiaguang Sun
    [J]. The International Journal of Advanced Manufacturing Technology, 2009, 40 : 179 - 192
  • [23] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS
    Gehlot, Vijay
    Nigro, Carmen
    [J]. PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
  • [24] Using colored Petri nets to model and analyze workflow with separation of duty constraints
    Lu, Yahui
    Zhang, Li
    Sun, Jiaguang
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 40 (1-2): : 179 - 192
  • [25] A timed colored Petri nets modeling for dynamic workflow in product development process
    Ha, Seungchul
    Suh, Hyo-Won
    [J]. COMPUTERS IN INDUSTRY, 2008, 59 (2-3) : 193 - 209
  • [26] Colored Petri nets for modeling of networked control systems
    Farah, Khamsa
    Chabir, Karim
    Abdelkrim, Mohamed Naceur
    [J]. 2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, : 226 - 230
  • [27] Backward reachability of Colored Petri Nets for systems diagnosis
    Bouali, Mohamed
    Barger, Pavol
    Schon, Walter
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2012, 99 : 1 - 14
  • [28] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
    Gehlot, Vijay
    [J]. 2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
  • [29] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [30] ExSpect 6.4 -: An executable specification tool for hierarchical colored Petri nets
    van der Aalst, WMP
    de Crom, PJN
    Goverde, RRHMJ
    van Hee, KM
    Hofman, WJ
    Reijers, HA
    van der Toorn, RA
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 455 - 464