Welcome to Onera, the French Aerospace Lab


FRANÇAIS


Systems Control and Flight Dynamics

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