Comparison of encoding schemes for symbolic model checking of bounded petri nets
Karsten Strehl
◽
Lothar Thiele
M. Varea
◽
B.M. Al-Hashimi
◽
L.A. Cortes
◽
P. Eles
◽
Zebo Peng
Mauricio Varea
◽
Bashir M. Al-Hashimi
◽
Luis A. Cortés
◽
Petru Eles
◽
Zebo Peng
Tomohiro Yoneda
◽
Hideyuki Hatori
◽
Atsushi Takahara
◽
Shin-ichi Minato
2009 ◽
Vol 31
(2)
◽
pp. 245-252
◽
Li-Jun WU
◽
Jin-Shu SU
◽
Kai-Le SU
Sergey Berezin
◽
Armin Biere
◽
Edmund Clarke
◽
Yunshan Zhu
B. Chen
◽
M. Yamazaki
◽
M. Fujita
2005 ◽
Vol 24
(2)
◽
pp. 129-140
◽
Hyeong-Ju Kang
◽
In-Cheol Park
2016 ◽
Vol 25
(2)
◽
pp. 1-48
◽
Petr Bauch
◽
Vojtěch Havel
◽
Jiří Barnat