Ces travaux présentent un formalisme de modélisation objet exploité pour la conception de simulateurs dynamiques hybrides : les réseaux de Petri différentiels à objets (RdPDO). Le modèle développé repose sur une approche mixte qui combine les réseaux de Petri et les systèmes algébro-différentiels pour la description des aspects dynamiques avec les concepts objet pour la description des aspects structurels. Il se caractérise par une modélisation explicite et rigoureuse des comportements continus et discrets, une approche modulaire par la définition d'entités autonomes, réutilisables et extensibles, une intégration multi-niveaux des réseaux de petri et des objets et une gestion efficace des interactions entre sous-modèles. Ce modèle est intég...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Les avancées des dernières décennies dans le domaine de l'électronique ont permis l'intégration plus...
Nous nous intéressons à la vérification de systèmes concurrents tels que les automates communicants ...
Comme les langages de simulation existants présentent des défauts plus ou moins sérieux, le besoin d...
Comme les langages de simulation existants présentent des défauts plus ou moins sérieux, le besoin d...
Ce travail s'inscrit dans l'obtique d'un transfert de compétences entre laboratoires universitaires ...
Dans ce mémoire nous proposons un formalisme de simulation à partir duquel un langage de simulation ...
International audienceLe travail présenté dans ce papier a pour objectif de proposer une méthodologi...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les réseaux de Petri colorés sont très utilisés comme langage de spécification des systèmes complexe...
National audienceCette publication présente une démarche d'intégration de modèles sur une plateforme...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Les avancées des dernières décennies dans le domaine de l'électronique ont permis l'intégration plus...
Nous nous intéressons à la vérification de systèmes concurrents tels que les automates communicants ...
Comme les langages de simulation existants présentent des défauts plus ou moins sérieux, le besoin d...
Comme les langages de simulation existants présentent des défauts plus ou moins sérieux, le besoin d...
Ce travail s'inscrit dans l'obtique d'un transfert de compétences entre laboratoires universitaires ...
Dans ce mémoire nous proposons un formalisme de simulation à partir duquel un langage de simulation ...
International audienceLe travail présenté dans ce papier a pour objectif de proposer une méthodologi...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les outils classiques de simulation ne permettent pas de prendre facilement en compte dans leur modè...
Les réseaux de Petri colorés sont très utilisés comme langage de spécification des systèmes complexe...
National audienceCette publication présente une démarche d'intégration de modèles sur une plateforme...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Une partie du temps de développement des produits industriels est vouée à la conception de leur stru...
Les avancées des dernières décennies dans le domaine de l'électronique ont permis l'intégration plus...
Nous nous intéressons à la vérification de systèmes concurrents tels que les automates communicants ...