On the comple!mentarity of different of modelings from "computer science and communication networks" to "automatic control". Bounded petri-net synthesis techniques and their applications to the distribution of reactive automata. Calculating duration of concurrent scenarios in time petri nets. Railway traffic planning with petri nets and constraint progrmaming. Managing breakdowns machines : a petri neets model and a decision-making process. On the use of trajectory synthesis to return to nominal mode for a class of hybrid systems. Timed event graphs with variable resources : asymptotic behavior, representation in (min+) algebra. Altarica constraint automata as a description language. Application of CTL logic to the formal verification of a system of distributed and reactive functions. Methods and tools for the synthesis of an optimal control implementation for grafcet. Modeling and supervisory control of timed automata.