PeCAn: Compositional Verification of Petri Nets Made Easy.
Dinh-Thuan LeHuu-Vu NguyenVan-Tinh NguyenPhuong-Nam MaiBao-Trung Pham-DuyThanh-Tho QuanÉtienne AndréLaure PetrucciYang LiuPublished in: ATVA (2014)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- manufacturing systems
- service composition
- high level petri nets
- model checking
- ims ld
- fuzzy petri net
- process model
- neural network
- asynchronous circuits
- state machines
- stochastic petri net
- genetic algorithm
- formal methods
- learning environment
- artificial intelligence