Implementation of petri nets using a field-programmable gate array

Quality and Reliability Engineering International

Volumn 16, Issue 2, 2000, Pages 99-116

  Yang, S K ^a   Liu, T S ^b  

^a NATIONAL CHIN YI UNIVERSITY OF TECHNOLOGY   (Taiwan)

^b NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER SIMULATION; FAILURE ANALYSIS; FIELD PROGRAMMABLE GATE ARRAYS; LOGIC CIRCUITS; PREVENTIVE MAINTENANCE; SEQUENTIAL MACHINES;

FAILURE DETECTION AND ISOLATION ARRANGEMENT; PETRI NET IMPLEMENTATION;

PETRI NETS;

EID: 0033729052     PISSN: 07488017     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1638(200003/04)16:2<99::AID-QRE308>3.0.CO;2-J     Document Type: Article

References (13)

1. Shaw AW. Logic Circuit Design; Fort Worth Saunder College Publishing: Fort Worth, TX, 1993.
2. Roth Jr. CH. Fundamentals of Logic Design, (4th edn); International Thomson Publishing: Taipei, 1995.
3. Chang N, Kwon WH, Park J. FPGA-based implementation of synchronous Petri nets. Proceedings of the IECON'96 International Conference on Industrial Electronics, Control, and Instrumentation, 1996; pp. 469-474.
4. Peterson JL. Petri Net Theory and the Modeling of Systems; Prentice-Hall: Englewood Cliffs, NJ, 1985; pp. 166-172.
5. Stefano AD, Mirabella O. A fast sequence control device based on enhanced Petri nets. Microprocessors and Microsystems 1991; 15:179-186.
6. CIC. Training Course 12; Chip Implementation Center of Nation Science Council: Taipei, 1998.
7. Yang SK, Liu TS. A Petri net approach to early failure detection and isolation for preventive maintenance. Quality and Reliability Engineering International 1998; 14:319-330.
8. Schroeter J. Surviving the ASIC Experience; Prentice-Hall: Englewood Cliffs, NJ, 1992.
9. Xilinx. Foundation Series Quick Start Guide Version F1.4; The Programmable Logic Company: San Jose, CA, 1998.
10. David R, Alla H. Petri nets for modeliing of dynamic systems - a survey. Automatica 1994; 30:175-202.
11. Xilinx. XACT Libraries Guide; The Programmable Logic Company: San Jose, CA, 1994.
12. Yang SK, Liu TS. Failure analysis for an airbag inflator by Petri nets. Quality and Reliability Engineering International 1997; 13:139-151.
13. Xilinx. Hardware User Guide; The Programmable Logic Company: San Jose, CA, 1998.