CPN-AMI

CPN-AMI is a Petri net based CASE environment. It offers functions such as modelling facilities, simulation, model checking and computation of structural properties. CPN-AMI groups together many tools suitable for Petri net modelling and verification. Some tools have been implemented in our laboratory, some other come from university partners at: ..

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Thierry-Mieg, Yann; Dutheillet, Claude; Mounier, Isabelle: Automatic symmetry detection in well-formed nets (2003)