A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP

2022 ◽  
Vol 165 ◽  
pp. 108635
Author(s):  
Nand Kumar Jyotish ◽  
Lalit Kumar Singh ◽  
Chiranjeev Kumar
Keyword(s):  
Performance Measurement ◽  
Petri Net ◽  
State Of The Art ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

2020 ◽  
Vol 16 (1) ◽  
pp. 47-66
Author(s):  
Ammar Boucherit ◽  
Laura M. Castro ◽  
Abdallah Khababa ◽  
Osman Hasan
Keyword(s):  
Petri Net ◽  
Formal Analysis ◽  
Critical Systems ◽  
Rewriting Logic ◽  
Agent Based ◽  
Safety Critical ◽  
Multi Agent ◽  
Safety Critical Systems

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document