Le modèle des réseaux de Petri est un outil graphique de modélisation et d'analyse des systèmes parfaitement adapté à l'étude des structures de contrôle.
Il permet notamment de maîtriser et d'assurer la sûreté de fonctionnement de logiciels complexes (aéronautique, transports, industrie...). Cet ouvrage présente les différentes techniques de modélisation en se référant aux nombreux concepts spécifiques des systèmes de contrôles (parallélisme, précédente, communication, partage de ressources, causalité...). Les différents modèles sont décrits en détail, du modèle de base à quelques-unes de ses extensions temporelles.
Les diverses possibilités d'analyses offertes seront également étudiées. La première partie de l'ouvrage introduit le modèle de base places/transitions, et la seconde traite de quelques extensions du modèle initial pour traiter des problèmes liés aux applications de contrôle des procédés. De nombreux exercices corrigés sont également proposés à la fin de chaque chapitre. Ce livre s'adresse aux étudiants de licence et master en informatique et en mathématiques ainsi qu'aux élèves d'écoles d'ingénieurs.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Chacune des deux demeures dont il sera question est représentée dans le sablier et le lecteur sait d'entrée de jeu qu'il faudra retourner le livre pour découvrir la vérité. Pour comprendre l'enquête menée en 1939, on a besoin de se référer aux indices présents dans la première histoire... un véritable puzzle, d'un incroyable tour de force
Sanche, chanteur du groupe Planète Bolingo, a pris la plume pour raconter son expérience en tant qu’humanitaire...
Des incontournables et des révélations viendront s'ajouter à cette liste au fil des semaines !
