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 条
[31]   MODELING OF ROBOTIC CELL BY PETRI NET [J].
BABEJ, L ;
PRUCHNEROVICOVA, V .
IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY, 1992, 1 :223-229
[32]   New method of Petri net modeling [J].
Simulation Center, Harbin Institute of Technology, Harbin 150001, China ;
不详 ;
不详 .
Xitong Fangzhen Xuebao, 2006, 11 (3011-3013)
[33]   DNA Algorithms for Petri Net Modeling [J].
Schuster, Alfons .
INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (04) :421-427
[34]   Petri net based Grid workflow verification and optimization [J].
Cao, Haijun ;
Jin, Hai ;
Wu, Song ;
Ibrahim, Shadi .
JOURNAL OF SUPERCOMPUTING, 2013, 66 (03) :1215-1230
[35]   Instruction list verification using a Petri net semantics [J].
Heiner, M ;
Menzel, T .
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, :716-721
[36]   Petri net modeling power extension [J].
Harb, H.M. .
Proceedings of the ISMM International Symposium Computer Applications in Design, Simulation and Analysis, 1991,
[37]   Process knowledge verification method based on Petri net [J].
Wang Daliang ;
Zhang De-zheng ;
Gao Li-xin ;
Liu Jian-ming ;
Zhang Huan-sheng .
FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2007, :173-+
[38]   Petri Net Verification Techniques on Synchronous Dataflow Models [J].
Rochat, Jose-Inacio ;
Gomes, Luis ;
Dias, Octavio Pascoa .
IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011, :3792-3797
[39]   Integration of robotics components and verification using petri net [J].
Srivastava, Ratnesh Prasad ;
Nandi, G. C. .
2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN CONTROL, COMMUNICATION AND INFORMATION SYSTEMS (ICICCI-2017), 2017, :80-86
[40]   Verification of Petri net models based on transition vectors [J].
Ahmad, Farooq ;
Huang, He-Jiao ;
Wang, Xiao-Long .
PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, :1542-1547
12345