Jump to content

CPN-AMI

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Whitejay251 (talk | contribs) at 02:30, 21 September 2005 (context tag added). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

CPN-AMI is a tool that works in Well Formet Petri Nets, a Petri net class 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.

[1] -- More information about CPN-AMI.

Stub icon

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

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