PROGRAM VERIFICATION FOR MICROPROCESSORS THROUGH PETRI NET MODELING

被引：1
|
作者：
HURA, GS
ATWOOD, JW
机构：
来源：
MICROELECTRONICS AND RELIABILITY | 1985年 / 25卷 / 05期
关键词：
D O I：
10.1016/S0026-2714(85)80029-9
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：1001 / 1010
页数：10
相关论文
共 50 条
  • [1] PROGRAM VERIFICATION FOR MICROPROCESSORS THROUGH PETRI NET MODELING.
    Hura, G.S.
    Atwood, J.W.
    Microelectronics Reliability, 1985, 25 (05): : 1001 - 1010
  • [2] Petri net modeling and verification of transactional workflows
    Klai, Kais
    Gaaloul, Walid
    2011 20TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2011, : 176 - 184
  • [3] 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
  • [4] FORMAL MODELING AND VERIFICATION OF MICROPROCESSORS
    WINDLEY, PJ
    IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (01) : 54 - 72
  • [5] 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
  • [6] 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
  • [7] Embedded system modeling and verification based on deterministic and stochastic Petri net
    Zhou, K. (zhoukj@dlut.edu.cn), 1600, Binary Information Press (10):
  • [8] Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
    Fonseca i Casas, Pau
    Lijia Hu, Daniel
    Guasch i Petit, Antoni
    Figueras i Jove, Jaume
    APPLIED SCIENCES-BASEL, 2020, 10 (04):
  • [9] UNDERSTANDING PARALLEL PROGRAM BEHAVIOR THROUGH PETRI NET MODELS
    BALBO, G
    DONATELLI, S
    FRANCESCHINIS, G
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1992, 15 (03) : 171 - 187
  • [10] Diagnosability verification with Petri net unfoldings
    Madalinski, Agnes
    Nouioua, Farid
    Dague, Philippe
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2010, 14 (02) : 49 - 55
12345