Formalizing Workflow with Location Constraints by Colored Petri Nets

被引：1
|
作者：
Lu, Yahui [1 ]
Ming, Zhong [1 ]
Yu, Haofei [1 ]
Wang, Hui [2 ]
Zhang, Li [3 ]
机构：
[1] Shenzhen Univ, Coll Comp Sci & Software Engn, Shenzhen 518060, Peoples R China
[2] Shenzhen Univ, Coll Management, Shenzhen 518060, Peoples R China
[3] Tsinghua Univ, Sch Software, Beijing 100086, Peoples R China
来源：
2014 IEEE 11TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE) | 2014年
关键词：
Workflow; Location Constraints; Colored Petri Net;
D O I：
10.1109/ICEBE.2014.46
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Workflow provides a promising solution for organizations to achieve their business goals by collaborations between users. With the assistant of mobile and handheld devices, users may perform workflow tasks in different locations. Hence, some location-based restrictions can be defined on these tasks and users according to the enterprise business rules. In this paper, we propose a method to model workflow with location constraints based on colored Petri Nets(CPN). The location constraints are defined as predicate logic expressions. Then all these logic expressions are combined with the CPN workflow model. After formalization, the CPN analysis methods and tools can be used to analyze the correctness of the workflow and the constraints.
引用
收藏
页码：226 / 231
页数：6
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] Modeling workflow processes with colored Petri nets
    Liu, DS
    Wang, JM
    Chan, SCF
    Sun, JG
    Zhang, L
    [J]. COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281
  • [4] A method of workflow scheduling based on colored Petri nets
    Xiao, Zhijiao
    Ming, Zhong
    [J]. DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 230 - 247
  • [5] Hierarchical colored Petri nets based components for workflow systems
    Zhou, Feng
    Bo, Rui-Feng
    Huang, Hong-Zhong
    Ling, Dan
    Miao, Qiang
    [J]. JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2006, 20 (10) : 1527 - 1533
  • [6] Hierarchical Colored Petri Nets based components for workflow systems
    Feng Zhou
    Rui-Feng Bo
    Hong-Zhong Huang
    Dan Ling
    Qiang Miao
    [J]. Journal of Mechanical Science and Technology, 2006, 20
  • [7] COLORED PETRI NETS
    JENSEN, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
  • [8] Generalized mutual exclusion constraints and monitors for colored Petri nets
    Fanti, MP
    Giua, A
    Seatzu, C
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1860 - 1865
  • [9] 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
  • [10] 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
12345