Study on deterministic response time design for a class of nuclear Instrumentation and Control systems

► 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.