PeCAn: Compositional Verification of Petri Nets Made Easy

DOI10.1007/978-3-319-11936-6_18zbMath1448.68305OpenAlexW69418533MaRDI QIDQ3457799

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

Publication date: 17 December 2015

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11936-6_18

zbMATH Keywords

Petri netscompositional verificationsymbolic observation graphs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

PeCAn

Uses Software

• TAPAAL
• CPN/Tools
• Access/CPN
• SNOOPY

This page was built for publication: PeCAn: Compositional Verification of Petri Nets Made Easy