Search
Now showing items 1-10 of 15
Aide multicritère à la décision : méthodes et cas
(1993) Ouvrage
Generative families of positive invariants in coloured nets sub-classes.
(1993) Communication / Conférence
Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications.
(1993) Article accepté pour publication ou publié
Parallélisme et Généricité.
(1993) Communication / Conférence
Assessment of ESTELLE and EDT Through Real Case Studies.
(1993) Communication / Conférence
Evaluation paramétrée de formules de logique temporelle.
(1993) Communication / Conférence
Quelques étapes vers la conciliation de la théorie d'approximation et celle d'optimisation : une nouvelle théorie d'approximation polynomiale et résultats préliminaires.
(1993) Article accepté pour publication ou publié
A Protocol Specification Language with a High-level Petri Net Semantics.
(1993) Communication / Conférence
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
(1993) Communication / Conférence
A Distributed Algorithm for Resource Management.
(1993) Communication / Conférence