Skip to Main content Skip to Navigation
Conference papers

Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets

Résumé : De nombreux cadres dédiés à la modélisation de systèmes dynamiques à événements discrets ont été proposés pour répondre à des tâches de programmation, de simulation, de validation, de suivi de situation ou de décision (automates, réseaux de Petri, chaînes de Markov, logique temporelle, calcul des situations, STRIPS...). Tous ces cadres présentent des similitudes importantes, mais aucun n'offre la souplesse de cadres plus généraux tels que la logique ou les contraintes. Dans cet article, nous proposons un cadre générique de modélisation de systèmes dynamiques à événements discrets dont les principaux composants sont des chronogrammes d'état et d'événement et des contraintes sur ces chronogrammes. Bien que n'importe quel type de contrainte puisse être défini sur des chronogrammes, nous nous focalisons sur des contraintes a priori utiles~: contraintes temporelles pures, contraintes d'état ou d'événement instantané, contraintes de transition instantanée ou non. Finalement, nous montrons comment le cadre proposé englobe des cadres apparemment différents tels que les automates, les réseaux de Petri ou les cadres classiques utilisés en planification ou en ordonnancement, tout en offrant la très grande souplesse d'une modélisation à base de contraintes.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00151227
Contributor : Sylvain Soliman <>
Submitted on : Friday, June 1, 2007 - 6:30:37 PM
Last modification on : Tuesday, March 16, 2021 - 3:44:15 PM
Long-term archiving on: : Friday, September 21, 2012 - 4:05:50 PM

File

13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00151227, version 1

Collections

Citation

Gérard Verfaillie, Cédric Pralet, Michel Lemaître. Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151227⟩

Share

Metrics

Record views

138

Files downloads

203