A petri net reduction algorithm for protocol analysis
1986 ◽
Vol 16
(3)
◽
pp. 157-166
◽
1993 ◽
Vol 78
(5)
◽
pp. 845-856
◽
2017 ◽
Vol 26
(102)
◽
pp. 78-87
◽
2009 ◽
Vol E92-A
(11)
◽
pp. 2717-2722
◽
2017 ◽
Vol 5
(12)
◽
pp. 290-295