Bienvenue à l'Onera, le centre français de recherche aérospatiale
Ligne orange
Bouton Aronautique Bouton Espace Bouton Dfense et scurit Bouton Transfert de technologie Bouton Souffleries

ENGLISH

RECHERCHE DIRECTE

L’Onera de A à Z

ONERA-ISA

ONERA-ISA

Commande des systèmes et dynamique du vol

| le DCSD | moyens | références | contacts |

Exhost-PIPE



Exhost-PIPE Exhost-PIPE (EXtended High-level Oriented and STandard Platform Independent Petri net Editor) is an extension of PIPE for designing, analysing and playing ordinary, modular, coloured and time Petri nets as well as two specific types of nets defined at the ONERA-DCSD: particle Petri nets and plan Petri nets.

The tool interfaces according to PNML standards. Several plug-in modules implement analysis or transformation algorithms and allow operations on both new kinds of Petri nets. The user interface has been modified so as to help customising the displayed information.

Exhost-PIPE has been developed at the ONERA-DCSD by Olivier Bonnet-Torrès, Patrice Domenech, Aziz El Bouzidi, Charles Lesire and Catherine Tessier.


Download the ATPN'06 demonstration poster!

Exhost-PIPE presentation

Exhost-PIPE screen capture


Two zipped videos can be found here for particle Petri nets and there for plan Petri nets (both have no sound!).

Exhost-PIPE is open-source software. As an extension and modification of PIPE 1 its distribution is subject to the GNU General Public License.




Mis à jour le - © ONERA 2009 - Crédits et conditions d'utilisation