Publication de nos membres: RdP et SdF
Jean-François AUBRY a été le président de RUFEREQ pendant de nombreuses années avant de profiter de sa retraite. Il nous livre avec son collègue Nicolae Brinzei un ouvrage dans le domaine de la sûreté de fonctionnement à l’aide de réseaux de Petri Nets et de graphes.
Dans la première partie, les réseaux de Petri sont exposés ainsi que quelques extensions utiles. Dans la seconde partie, les réseaux de Petri sont utilisés de manière formelle pour décrire l’évolution de processus critiques dans le cadre des ontologies. La troisième partie est consacrée au réseaux de Petri stochastiques et leur usage en évaluation de la sûreté de fonctionnement.
Un ouvrage intéressant à lire pour ceux qui s’intéressent aux réseaux de Petri et à l’application au domaine de la sûreté de fonctionnement.
Plus d’information disponible sur HAL.