Welcome to Onera, the French Aerospace Lab

FRANÇAIS

Systems Control and Flight Dynamics

| DCSD | facilities | references | contacts |

Exhost-PIPE: an advanced Petri net editor

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 		Click to enlarge the screenshot...

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.

Downloads

  • Exhost-PIPE v1 (stable) ZIP
    features P&T-time Petri nets, modular Petri nets, hybrid Petri nets and particle Petri nets and provides animation support for manual, prompt-on-conflict, random and simulated time animation modes
     
  • Exhost-PIPE v2 (β-version) ZIP
    additionally features simple- and complex-coloured Petri nets and provides animation support for real-time animation mode and socket communication for I/O event management and dialog with other applications
     
  • Licence degree report on Exhost-PIPE v1 (in French) PDF

Publications


O. Bonnet-Torrès, P. Domenech, C. Lesire, C. Tessier. Exhost-PIPE: PIPE extended for two classes of monitoring Petri nets. 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, ATPN'06, Turku, Finland, June 2006.

O. Bonnet-Torrès, P. Domenech, A. El Bouzidi, C. Lesire, C. Tessier. Exhost-PIPE: Playing Plan Petri nets and Particle Petri nets. Tool demonstration at ATPN'06, Turku, Finland, June 2006.

Other publications available on Charles Lesire's and Olivier Bonnet-Torrès' webpages.


Contacts

Olivier Bonnet-Torrès
Charles Lesire
Catherine Tessier

Top


Introduction

Downloads

Publications

Last Update: - © ONERA 2009 - Terms of use