Jump to content

CPN-AMI

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by FrescoBot (talk | contribs) at 17:13, 26 February 2017 (Bot: link syntax and minor changes). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It provides the ability to specify the behavior of a distributed system—and to evaluate properties such as invariants (preservation of resources), absence of deadlocks, liveness, or temporal logic properties (relations between events in the system).

CPN-AMI relies on AMI-Nets, that are well-formed Petri nets with syntactic facilities. Well Formed Petri nets were jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. This Petri net class supports symbolic techniques for model checking, and thus provides a very compressed way to store all states of a system.

See also

Stub icon

This programming-tool-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=CPN-AMI&oldid=767563476"