Delay-Dependent Partial Order Reduction Technique for Time Petri Nets

2014 ◽  
pp. 53-68 ◽  
Author(s):  
Hanifa Boucheneb ◽  
Kamel Barkaoui ◽  
Karim Weslati
Keyword(s):  
Petri Nets ◽  
Partial Order ◽  
Order Reduction ◽  
Reduction Technique ◽  
Partial Order Reduction ◽  
Time Petri Nets ◽  
Delay Dependent

scholarly journals TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

2012 ◽  
pp. 219-234 ◽  
Author(s):  
Samira Tasharofi ◽  
Rajesh K. Karmani ◽  
Steven Lauterburg ◽  
Axel Legay ◽  
Darko Marinov ◽  
...  
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Reduction Technique ◽  
Partial Order Reduction

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document