Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

2014 ◽  
pp. 237-251 ◽  
Author(s):  
Sine Viesmose Birch ◽  
Thomas Stig Jacobsen ◽  
Jacob Jon Jensen ◽  
Christoffer Moesgaard ◽  
Niels Nørgaard Samuelsen ◽  
...  
Keyword(s):  
Model Checking ◽  
Petri Nets ◽  
Abstraction Refinement

scholarly journals Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

2020 ◽  
Vol E103.D (3) ◽  
pp. 702-705
Author(s):  
Nao IGAWA ◽  
Tomoyuki YOKOGAWA ◽  
Sousuke AMASAKI ◽  
Masafumi KONDO ◽  
Yoichiro SATO ◽  
...  
Keyword(s):  
Model Checking ◽  
Petri Nets ◽  
Symbolic Representation ◽  
Bounded Model Checking ◽  
Time Petri Nets ◽  
Representation Of Time
Sign in / Sign up

Export Citation Format

Share Document