PeCAn: Compositional Verification of Petri Nets Made Easy.

Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, tienne Andr, Laure Petrucci, Yang Liu

Browse the full ATVA paper archive.