DMCA

PeCAn: Compositional Verification of Petri Nets Made Easy?

by Dinh-thuan Le , Huu-vu Nguyen , Van-tinh Nguyen , Phuong-nam Mai , Bao-trung Pham-duy , Thanh-tho Quan , Laure Petrucci , Yang Liu