e/CPN-AMI

Information
has gloss	eng: CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It allows to specify the behavior of a distributed system and the to evaluate properties on it such as invariants (preservation of resources), absence of deadlocks, liveness or temporal logic properties (relations between events in the system).
lexicalization	eng: CPN-AMI
instance of	c/Formal methods tools