PetriNetPrimer

Les réseaux de Petri modélisent des systèmes concurrents et distribués où les composants actifs communiquent par la production et l'absorption de divers types de ressources. Bien que les propriétés dynamiques de tels systèmes puissent être très complexes, elles peuvent parfois être liées à la structure statique d'un réseau de Petri. De nombreuses propriétés sont décidables, mais leur complexité peut être énorme. Il est souvent opportun de se limiter à des classes de systèmes, à des algorithmes partiels et à des propriétés similaires mais plus simples. Au lieu d'analyser un système donné, il est également possible de rechercher un système satisfaisant certaines propriétés souhaitées par construction. Ce manuel de référence complet présente et discute ces questions en profondeur dans le contexte de l'un des modèles fondamentaux de réseaux de Petri, appelés réseaux lieu/transition. La présentation est renforcée par de nombreux exemples et exercices résolus. Parmi les sujets abordés :
• Dans quel ordre les actions peuvent-elles être générées et planifiées ?
• Quels états et configurations peuvent être atteints dans un système concurrent ?
• Quelles classes intéressantes de systèmes peuvent être analysées relativement efficacement ?
• Est-il possible de synthétiser un système d'une certaine classe à partir de son comportement ?
• Comment les systèmes peuvent-ils être représentés de manière algébrique, compositionnelle et concise ?

Ce texte unique, basé sur des cours d'introduction ainsi que sur des cours avancés sur les systèmes distribués, servira de guide inestimable pour les étudiants et les futurs chercheurs intéressés par les aspects théoriques et pratiques des réseaux de Petri et des modèles de systèmes connexes. Eike Best a été professeur titulaire (maintenant à la retraite) affilié à l'Université Carl von Ossietzky d'Oldenburg, en Allemagne. Raymond Devillers a été professeur titulaire (maintenant à la retraite) affilié à l'Université Libre de Bruxelles, en Belgique. Les auteurs ont une longue expérience en tant que collaborateurs dans les domaines des réseaux de Petri et de la sémantique de la concurrence.