Singh, Lalit Kumar
(Korean Nuclear Society, 2022-11-29)
This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper ...