Atelier international sur les réseaux de Petri et le génie logiciel à Newcastle upon Tyne, au Royaume-Uni
20 Juin 2011 - 20 Juin 2011
Royaume-Uni
Un atelier international sur les réseaux de Petri et le génie logiciel aura lieu les 20 et 21 juin 2011 à Newcastle upon Tyne, au Royaume-Uni.
Pour parvenir à développer des systèmes réactifs complexes composés d'éléments logiciel et matériel en interaction, il convient d'utiliser un langage précis à différentes étapes du processus de développement.
Les réseaux de Petri sont de plus en plus populaires dans ce domaine, car ils fournissent un langage uniforme soutenant les tâches de la modélisation, la validation et la vérification. Un réseau de Petri (également connu sous le nom de réseau de place/transition ou réseau P/T) est l'un des divers langages de modélisation mathématique servant à représenter divers systèmes distribués. Leur popularité s'explique par le fait que ces réseaux de Petri capturent des aspects fondamentaux de causalité, de concurrence et de choix de manière mathématiquement précise et naturelle sans compromettre leur lisibilité.
Les thèmes traités pendant la conférence porteront sur:
- la modélisation;
- la validation et l'exécution;
- la vérification;
- l'application des réseaux de Petri dans le génie logiciel;
- les problèmes ouverts et les nouvelles applications des réseaux de Petri;
- la relation des réseaux de Petri et du génie logiciel;
- les instruments.Pour de plus amples informations, consulter: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(s’ouvre dans une nouvelle fenêtre)
Pour parvenir à développer des systèmes réactifs complexes composés d'éléments logiciel et matériel en interaction, il convient d'utiliser un langage précis à différentes étapes du processus de développement.
Les réseaux de Petri sont de plus en plus populaires dans ce domaine, car ils fournissent un langage uniforme soutenant les tâches de la modélisation, la validation et la vérification. Un réseau de Petri (également connu sous le nom de réseau de place/transition ou réseau P/T) est l'un des divers langages de modélisation mathématique servant à représenter divers systèmes distribués. Leur popularité s'explique par le fait que ces réseaux de Petri capturent des aspects fondamentaux de causalité, de concurrence et de choix de manière mathématiquement précise et naturelle sans compromettre leur lisibilité.
Les thèmes traités pendant la conférence porteront sur:
- la modélisation;
- la validation et l'exécution;
- la vérification;
- l'application des réseaux de Petri dans le génie logiciel;
- les problèmes ouverts et les nouvelles applications des réseaux de Petri;
- la relation des réseaux de Petri et du génie logiciel;
- les instruments.Pour de plus amples informations, consulter: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(s’ouvre dans une nouvelle fenêtre)