Study on soundness of workflow model based on Petri net

被引：0
|
作者：
Chen, Xiang [1 ]
Xia, Guo-Ping [2 ]
Li, Tao [2 ]
机构：
[1] Sch. of Mgmt. and Econ., Beijing Inst. of Technol., Beijing 100081, China
[2] Sch. of Econ. and Mgmt., Beijing Univ. of Aero. and Astron., Beijing 100083, China
来源：
Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology | 2004年 / 24卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Petri nets
引用
收藏
页码：1074 / 1078
相关论文
共 50 条
  • [1] A Method for Soundness Verification of Workflow Model Based on Petri Net
    Wang Jianliang
    Xia Zhiwei
    Ding Yanan
    [J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 880 - 883
  • [2] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    [J]. Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [3] Colored Petri Net Based Workflow Model Mapping
    Zhu, Lianzhang
    Shan, Xiuhui
    [J]. 2010 3RD INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI 2010), VOLS 1-7, 2010, : 2743 - 2747
  • [4] Task net: Transactional workflow model based on colored Petri net
    Choi, I
    Park, C
    Lee, C
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2002, 136 (02) : 383 - 402
  • [5] Design and Implementation of Financial Workflow Model Based on the Petri Net
    Chen, JianBang
    Han, Lu
    Xiong, DaoYing
    Luo, Jiao
    [J]. ADVANCES IN FUTURE COMPUTER AND CONTROL SYSTEMS, VOL 1, 2012, 159 : 495 - 500
  • [6] The Research on Workflow Model Based on Petri Net and Its Application
    Gu, Weijie
    Qian, Yuexia
    Wang, Jishui
    [J]. 2011 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND MULTIMEDIA COMMUNICATION, 2011, : 442 - 445
  • [7] AN ANALYTICAL METHOD FOR WELL-FORMED WORKFLOW/PETRI NET VERIFICATION OF CLASSICAL SOUNDNESS
    Clempner, Julio
    [J]. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2014, 24 (04) : 931 - 939
  • [8] Workflow model of equipment maintenance support based on Petri-net
    Chen Le
    Feng Hui-juan
    Yu Yong-li
    Zhang Liu
    Nie Cheng-long
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 931 - 934
  • [9] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
  • [10] A HYBRID PETRI-NET MODEL OF GRID WORKFLOW
    Ji Yimu* Wang Ruchuan* ** Ren Xunyi* *(Nanjing University of Posts and Telecommunications
    [J]. Journal of Electronics(China), 2008, (02) : 283 - 288
12345