Dual synthesis of Petri net based dependable logic controllers for safety critical systems

2014 ◽  
Author(s):  
Arkadiusz Bukowiec ◽  
Jacek Tkacz ◽  
Marian Adamski ◽  
Remigiusz Wisniewski
Keyword(s):  
Petri Net ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Logic Controllers

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