Skip to Main content Skip to Navigation

Réseaux de Petri pour l'étude de la disponibilité opérationnelle des systèmes spatiaux en phases d'avant-projet

Abstract : Most of nowadays space projects follow economic goals and are submitted to strong operational constraints. Avoiding under (or over) sizing up of these systems is a main objective which can decide if the project can be realized or not. If too much risks are taken, then investment will be very difficult to find, and, if the system is over sized up the price will dramatically increase and be dissuasive. In that context, the study of Operational Availability in first design phases can provide precious criteria in order to estimate the compromise cost / risk and then can help to make early important design choices. However complexity and size of these systems increase in such a way that traditional availability approaches can no more be useful. Petri net theory, rich of thirty years worldwide research and principally devoted to the analysis, evaluation and control of distributed systems, offers stimulating perspectives to overcome these limits. The main contribution of this work, led inside French space agency and industry, was to promote its use for Operational Availability study of complex space systems in the concrete context of early design phases. We have firstly justified Petri nets interest for modeling and evaluating such systems by comparison with traditional approaches. Then, we have illustrated their use over real space program studies in the context of integrated work with project teams. At least, we have proposed the basis for a modeling approach, application oriented, which aim is to help non Petri net addicts to build easily models for complex systems. These main three steps are presented here.
Document type :
Complete list of metadata
Contributor : Emilie Marchand <>
Submitted on : Friday, September 9, 2005 - 2:35:34 PM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Tuesday, September 7, 2010 - 5:27:27 PM


  • HAL Id : tel-00010089, version 1


Jean-François Ereau. Réseaux de Petri pour l'étude de la disponibilité opérationnelle des systèmes spatiaux en phases d'avant-projet. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1997. Français. ⟨tel-00010089⟩



Record views


Files downloads