Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net

被引：0
|
作者：
Department of Industrial and Systems Engineering, Engineering Research Institute, Gyeongsang National University, Korea, Republic of [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
WSEAS Trans. Inf. Sci. Appl. | 2009年 / 7卷 / 1249-1258期
关键词：
Petri nets;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Temporal inference of workflow systems based on time Petri nets: Quantitative and qualitative analysis
    Lin, C
    Qu, Y
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2004, 19 (05) : 417 - 442
  • [42] A quantitative analysis method of greenhouse gas emission for mechanical product remanufacturing based on Petri net
    Shi, J. L.
    Fan, S. J.
    Wang, Y. J.
    Cheng, J. S.
    ADVANCES IN PRODUCTION ENGINEERING & MANAGEMENT, 2018, 13 (04): : 442 - 454
  • [43] A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation
    Rahmoune, Yasmina
    Chaoui, Allaoua
    Kerkouche, Elhillali
    10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 612 - 617
  • [44] Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net
    Wei, ShangGuan
    Jian, Wang
    Yan, Wang
    Gou Chen-xi
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 3, PROCEEDINGS, 2009, : 488 - 491
  • [45] An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram
    Brdjanin, Drazen
    Maric, Slavko
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (01) : 249 - 283
  • [46] Institution-based UML activity diagram transformation with semantic preservation
    Achouri, Amine
    Hlaoui, Yousra Bendaly
    Ben Ayed, Leila Jemni
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2019, 18 (03) : 240 - 251
  • [47] Automated test case generation based on UML activity diagram model
    Zhang, M., 2001, Beijing University of Aeronautics and Astronautics (BUAA) (27):
  • [48] Test Case Generation for Access Control Based on UML Activity Diagram
    Fan, Ao
    Liao, Li
    Wang, Lulu
    Li, Bixin
    2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 95 - 104
  • [49] Extenics-based Test Case Generation for UML Activity Diagram
    Li, Liping
    Li, Xingsen
    He, Tao
    Xiong, Jie
    FIRST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 2013, 17 : 1186 - 1193
  • [50] A Coloured Petri Net formalisation for a UML-based notation applied to cooperative system modelling
    Garrido, JL
    Gea, M
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 16 - 28
12345