Article ID Journal Published Year Pages File Type
1729004 Annals of Nuclear Energy 2012 7 Pages PDF
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
, , ,