Welcome to Onera, the French Aerospace Lab

FRANÇAIS

Systems Control and Flight Dynamics

| DCSD | facilities | references | contacts |

Exhost-PIPE
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.

Previous | End


Introduction

Downloads

Publications

Last Update: 29th june 2006 - © ONERA 2009 - Terms of use