Embedded system modeling and verification based on deterministic and stochastic Petri net

被引：0
|
作者：
机构：
[1] Hou, Gang
[2] Chang, Junwang
[3] Zhou, Kuanjiu
[4] Li, Mingchu
来源：
Zhou, K. (zhoukj@dlut.edu.cn) | 1600年 / Binary Information Press卷 / 10期
关键词：
Embedded systems;
D O I：
10.12733/jcis10548
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [2] Petri net EPRES for embedded system modeling
    Liu, Sen
    Mu, Chundi
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 2009, 49 (04): : 490 - 493
  • [3] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [4] Modeling and verification of an intelligent tutoring system based on Petri net theory
    Wang, Yu-Ying
    Lai, Ah-Fur
    Shen, Rong-Kuan
    Yang, Cheng-Ying
    Shen, Victor R. L.
    Chu, Ya-Hsuan
    MATHEMATICAL BIOSCIENCES AND ENGINEERING, 2019, 16 (05) : 4947 - 4975
  • [5] Verification of embedded systems using a Petri net based representation
    Cortés, LA
    Eles, P
    Peng, Z
    13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
  • [6] An Extended Petri Net EPRES for Embedded System Modeling
    Liu, Sen
    Mu, Chundi
    SEC 2008: PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING, 2008, : 9 - 13
  • [7] Modeling of Urban Traffic System based on Dynamic Stochastic Fluid Petri Net
    Jingyu, Li
    Qiqiang, Li
    2008 WORKSHOP ON POWER ELECTRONICS AND INTELLIGENT TRANSPORTATION SYSTEM, PROCEEDINGS, 2008, : 485 - +
  • [8] Deterministic and stochastic Petri net for urban traffic systems
    Badamchizadeh, M. A.
    Joroughi, M.
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 5, 2010, : 364 - 368
  • [9] DETERMINISTIC AND STOCHASTIC PETRI NET MODELS OF PROTECTION SCHEMES
    JENKINS, L
    KHINCHA, HP
    IEEE TRANSACTIONS ON POWER DELIVERY, 1992, 7 (01) : 84 - 90
  • [10] Petri net-based modeling and verification of confidentiality policy
    Zhang, Zhaoli
    Hong, Fan
    Liao, Junguo
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2007, 35 (10): : 28 - 31
12345