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 条
  • [21] A coloured Petri net approach to protocol verification
    Billington, J
    Gallasch, GE
    Han, B
    LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
  • [22] 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
  • [23] A Formal Approach for Modeling and Verification of Bus Bridge Based on Petri Net and Model Checking
    Zhang, Guoyin
    Liu, Ming
    Yao, Aihong
    PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 335 - 339
  • [24] Extended Petri Net Based Formal Modeling and Verification of WTB-TCN Device
    Liu, Ming
    Zhang, Guoyin
    Yao, Aihong
    PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 8, 2010, : 110 - 114
  • [25] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [26] Object-oriented Petri net based method for the concurrent program modeling
    Ren, Aihua
    Niu, Jinzhong
    Zhang, Yongming
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1998, 24 (04): : 491 - 494
  • [27] Modeling and Verification of CTCS-3 On-board Equipment Based on Colored Petri Net
    Han Jingjia
    He Tao
    2019 4TH INTERNATIONAL CONFERENCE ON COMMUNICATION, IMAGE AND SIGNAL PROCESSING (CCISP 2019), 2020, 1438
  • [28] Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow
    Kim, Yun Goo
    Seong, Poong Hyun
    JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, 2012, 49 (1-2) : 173 - 181
  • [29] 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
  • [30] Modeling and formal verification of dataflow graph in system-level design using Petri net
    Chiang, TH
    Dung, LR
    Yaung, MF
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 5674 - 5677
12345