CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Dec 12, 2017
Contributors & History
Tool developers
PLatform developers

Introduction

is issued from a series of projects held at LIP6 first (previously MASI), then jointly supported by LIP6 and LIPN, and now, jointly conducted by LIP6, LIPN and LSV (in the context of the MeFoSyLoMa group).

Hence, it is the result of a long experience issued from theoretical results, implementation of tools to illustrate these results (mostly Petri net based tools) and the design of a development environment (libraries, predefined tools...) to federate these tools.

This experience was first acquired all over the CPN-AMI 1 project based on the AMI integration platform (1987 - 1994).

Then, in 1995, a new software integration platform, FrameKit, was elaborated to operate CPN-AMI 2 and 3 (1997 - 2010).

Since 2010, a new generation of integration platform, based on web services, has been elaborated in the context of the Neoppod project. This new platform now forms the basis of that aims at gathering verification tools for Petri Nets (CPN-AMI 4 and later) and Automata.

So, is the result of several collaborations among a large set of people who stayed in the involved laboratories, some for a few weeks or months (student projects), others for years (PhD students, researchers...). They are listed below.

Project Heads
Claude Girault (1987-1993)
Pascal Estraillier (1993-1998)
Fabrice Kordon (1998-2011)
Serge Haddad, Fabrice Kordon, and Laure Petruci (jointly, 2012-)