Analysis of extended Petri nets with signal language

被引：0
|
作者：
机构：
来源：
Shanghai Jiaotong Daxue Xuebao | / 9卷 / 57-62期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] On the ω-language expressive power of extended Petri nets
    Finkel, A.
    Geeraerts, G.
    Raskin, J. -F.
    Van Begin, L.
    THEORETICAL COMPUTER SCIENCE, 2006, 356 (03) : 374 - 386
  • [2] On the omega-language Expressive Power of Extended Petri Nets
    Finkel, A.
    Geeraerts, G.
    Raskin, J. -F.
    Van Begin, L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (02) : 87 - 101
  • [3] LANGUAGE THEORY OF PETRI NETS
    JANTZEN, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 397 - 412
  • [4] Modeling Cyberattacks with Extended Petri Nets
    Petty, Mikel D.
    Whitaker, Tymaine S.
    Bearss, E. Michael
    Bland, John A.
    Cantrell, Walter Alan
    Colvett, C. Daniel
    Maxwell, Katia P.
    ACMSE 2022: PROCEEDINGS OF THE 2022 ACM SOUTHEAST CONFERENCE, 2022, : 67 - 73
  • [5] Simulating cyberattacks with extended Petri nets
    Petty, Mikel D.
    Bland, John A.
    Whitaker, Tymaine S.
    Cantrell, Walter Alan
    Maxwell, Katia P.
    Colvett, C. Daniel
    Bearss, E. Michael
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2024, 100 (12): : 1257 - 1280
  • [6] EXTENDED PETRI NETS FOR TREATMENT OF FAULTS
    Mateia, Nicolae Adrian
    Rada, Danut
    Rada, Doina
    Cechin-Crista, Dan
    ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 331 - 332
  • [7] Extended knowledge attributed Petri Nets
    Fur, Attila
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2014, 5 (02)
  • [8] Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
    Kahloul, L.
    Chaoui, A.
    Djouani, K.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2015, 10 (02) : 211 - 221
  • [9] Modeling and analysis of files transmitting based on extended colored petri nets
    Wang, Huan
    Song, Wen
    Wang, H. (wanghuanwangyu@163.com), 1600, Advanced Institute of Convergence Information Technology (07): : 174 - 183
  • [10] DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
    Heiner, Monika
    Schwarick, Martin
    Tovchigrechko, Alexej
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2009, 5606 : 323 - 332
12345