Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
1729004 | Annals of Nuclear Energy | 2012 | 7 Pages |
Abstract
⺠An efficient design procedure for deterministic response time design of nuclear I&C system. ⺠We model the concurrent operations based on sequence diagrams and Petri nets. ⺠The model can achieve the deterministic behavior by using symbolic time representation. ⺠An illustrative example of the bistable processor logic is given.
Related Topics
Physical Sciences and Engineering
Energy
Energy Engineering and Power Technology
Authors
Chang-Kuo Chen, Yi-You Hou, Cheng-Long Luo,