Modelling of reactive systems MSR'99 (Journal Européen des Systèmes Automatisés Vol.33 N°8-9/Novembre 1999)

Auteur :

Langue : Français
Couverture de l'ouvrage Modelling of reactive systems MSR'99 (Journal Européen des Systèmes Automatisés Vol.33 N°8-9/Novembre 1999)

Thème de Modelling of reactive systems MSR'99 ...

102,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Ouvrage 208 p. · 16x24 cm · Broché
ISBN : 9782841079612 EAN : 9782841079612
Hermes Science

Sommaire de Modelling of reactive systems MSR'99 ...

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.