Analyzing BPMN with extended object petri net

被引：0
|
作者：
Yu, Ruiqiang [1 ]
Huang, Zhiqiu [1 ]
Wang, Lin [2 ]
Zhang, Hongjie [2 ]
机构：
[1] College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
[2] Yantai HaiYi Software Co. Ltd., Yantai, China
来源：
Journal of Software Engineering | 2014年 / 8卷 / 02期
关键词：
D O I：
10.3923/jse.2014.58.74
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：58 / 74
相关论文
共 50 条
  • [1] EXTENDED COLORED PETRI NET - AN EFFICIENT TOOL FOR ANALYZING CONCURRENT SYSTEMS
    DAS, SK
    SARKAR, D
    AGRAWAL, VK
    PATNAIK, LM
    INFORMATION SCIENCES, 1991, 54 (03) : 191 - 218
  • [2] Encoding Modalities into Extended Petri Net for Analyzing Discrete Event Business Process
    Hattori, Takashi
    Kawakami, Hiroshi
    Katai, Osamu
    Shiose, Takayuki
    NEW DIRECTIONS IN INTELLIGENT INTERACTIVE MULTIMEDIA, 2008, 142 : 255 - 264
  • [3] Petri Net based verification of BPMN represented configured construction processes
    Kog, F.
    Scherer, R. J.
    Dikbas, A.
    EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION, 2012, : 243 - 249
  • [4] An extended object-oriented petri net supporting the description and evolution of components: EOOPN
    Zhao, Na
    Yu, Yong
    Wang, Jian
    Xie, Zhongwen
    Yang, Zhendi
    Cheng, Lei
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2019, 22 (02): : S2701 - S2708
  • [5] An extended object-oriented petri net supporting the description and evolution of components: EOOPN
    Na Zhao
    Yong Yu
    Jian Wang
    Zhongwen Xie
    Zhendi Yang
    Lei Cheng
    Cluster Computing, 2019, 22 : 2701 - 2708
  • [6] An extended Petri net for knowledge representation
    Wang, Zhijian
    Cai, Zixing
    PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE: 50 YEARS' ACHIEVEMENTS, FUTURE DIRECTIONS AND SOCIAL IMPACTS, 2006, : 713 - 715
  • [7] Analyzing separation of duties in Petri net workflows
    Knorr, K
    Weidner, H
    INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 102 - 114
  • [8] Operators for Analyzing Software Reliability with Petri net
    Yu Ruiqiang
    Huang Zhiqiu
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 358 - 361
  • [9] Petri net modeling and performance analyzing for MGC
    Huang, YF
    Li, X
    Zhang, K
    CHINESE JOURNAL OF ELECTRONICS, 2004, 13 (04): : 634 - 637
  • [10] Petri Net based AUV modeling and analyzing
    Zhang, GY
    Gu, GC
    Meng, W
    Zhang, R
    PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 1295 - 1299
12345