CPN-AMI

CPN-AMI

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).

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 is of interest since it enables the use of symbolic techniques for model checking and thus allow a very compressed way to store all the states of a system.

See also

*Well-formed Petri net'

External links

* [http://www.lip6.fr/cpn-ami More information about CPN-AMI] .
* [http://www-src.lip6.fr/logiciels/mars/CPNAMI/MANUAL_SERV/ami-net.html BNF of AMI-Net]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Petriscript — is a modelling language for Petri Nets, designed by [http://lip6.fr/Alexandre.Hamez Alexandre Hamez] and [http://www src.lip6.fr/ Xavier.Renault Xavier Renault] .The CPN AMI platform provides many tools to work on Petri net such as verifying or… …   Wikipedia

  • Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… …   Wikipedia Español

  • Meinoud Rost van Tonningen — Meinoud Marinus Rost van Tonningen (19 février 1894 à Surabaya 6 juin 1945 à Scheveningen) était un homme politique néerlandais du Mouvement national socialiste (N.S.B.). Pendant la Seconde Guerre mondiale et l occupation… …   Wikipédia en Français

  • Библиографические коды источников по клинописям — Библиографические коды источников по ассириологии Расшифровка типовых сокращений, используемых в библиографии научных трудов по ассириологии и, в целом, ориенталистике. Приводимые ниже аббревиатуры (иногда слова) выделяются жирным в справочном… …   Википедия

  • STLs de AAA à DZZ — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

  • Sigles de trois lettres commençant par A — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

  • Sigles de trois lettres commençant par B — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

  • Sigles de trois lettres commençant par C — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

  • Sigles de trois lettres commençant par D — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

  • Sigles de trois lettres de AAA a DZZ — Sigles de trois lettres de AAA à DZZ {{{image}}} Sigles d une seule lettre Sigles de deux lettres Sigles de trois lettres AAA à DZZ EAA à HZZ IAA à LZZ MAA à PZZ QAA à TZZ UAA à XZZ …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”