High-Level Petri Net Model Checking with AlPiNA
2011 ◽
Vol 113
(3-4)
◽
pp. 229-264
◽
Steve Hostettler
◽
Alexis Marechal
◽
Alban Linard
◽
Matteo Risoldi
◽
Didier Buchs
Giuseppe Del Castillo
◽
Kirsten Winter
Abubkr Abdelsadiq
◽
Carlos Molina-Jimenez
◽
Santosh Shrivastava
Sudipta Kundu
◽
Sorin Lerner
◽
Rajesh K. Gupta
Danièle Beauquier
◽
Anatol Slissenko
Gonca Tuncel
◽
Gunhan Mirac Bayhan
2019 ◽
Vol 7
◽
pp. 129376-129386
◽
Zhijiao Xiao
◽
Jianmin Jiang
◽
Zhong Ming
2006 ◽
Vol 11
(5)
◽
pp. 1297-1301
◽
Zhou Conghua
◽
Chen Zhenyu