Office analysis methodology using Petri nets and playscripts

被引：0
|
作者：
Natl Univ of Singapore, Singapore, Singapore [1 ]
机构：
来源：
IEEE Trans Syst Man Cybern Pt A Syst Humans | / 5卷 / 572-582期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Petri nets
引用
收藏
相关论文
共 50 条
  • [41] Safety analysis method using Fuzzy Petri nets
    Son, HS
    Seong, PH
    1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 412 - 417
  • [42] System level testability analysis using Petri Nets
    Jiang, TJ
    Klenke, RH
    Aylor, JH
    Han, G
    IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 112 - 117
  • [43] Reliability Analysis Of Wind Turbines Using Petri Nets
    Tazi, Nacef
    Chatelet, Eric
    Aissaoui, Abdel Ghani
    Bouzidi, Youcef
    2018 7TH INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATIONS (ICRERA), 2018, : 858 - 864
  • [44] Performance analysis of Java']Java using Petri nets
    Rana, OF
    Shields, MS
    HIGH PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 2000, 1823 : 657 - 667
  • [45] The Analysis of Resource Constrained Workflows using Petri Nets
    Prisecaru, Oana Otilia
    MSVVEIS 2010: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2010, : 50 - 59
  • [46] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
    Chang, Lily
    He, Xudong
    Shatz, Sol M.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 891 - 925
  • [47] A methodology for modeling interactions in cooperative information systems using coloured petri nets
    Ramos-Quintana, F
    Frausto-Solis, J
    Camargo-Santacruz, F
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (06) : 619 - 635
  • [48] Symbolic reachability analysis of Petri nets using ZBDDs
    Li, Feng-Ying
    Gu, Tian-Long
    Xu, Zhou-Bo
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (12): : 2420 - 2428
  • [49] COMPOSITIONAL ANALYSIS OF PETRI NETS
    Zaitsev, D. A.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (01) : 126 - 136
  • [50] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
12345