학술논문
Verification of digital control paths using Petri nets
Document Type
Conference
Author
Source
2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236) Systems, man and cybernetics Systems, Man, and Cybernetics, 2001 IEEE International Conference on. 4:2694-2699 vol.4 2001
Subject
Language
ISSN
1062-922X
Abstract
Introduces a hardware design methodology based on Petri nets that is applied to the verification of digital control paths. The main purpose is to design control paths that are modeled and verified formally by means of Petri net techniques. A verified digital system can be implemented in self-timed or in synchronous clocked hardware modules. Finally, timing analysis can be performed by timed Petri nets.