Evaluation probabiliste et vérification déterministe en sûreté de fonctionnement à partir d'un unique réseau de Petri coloré
type: Dataset
description: Journée du GTR "Recherche Méthodologique" de l'Institut pour la Maîtrise des Risques (IMdR)
landing page: https://hal.science/hal-00872442
keyword: evaluation-probabiliste
keyword: infoeu-reposemanticsother
keyword: infoinfo-pfcomputer-science-csperformance-cspf
keyword: other-publications
keyword: reseaux-de-petri-colores
keyword: spiautoengineering-sciences-physicsautomatic
keyword: surete-de-fonctionnement
keyword: verification-deterministe
issued: 2026-05-09T09:39:11.039977
modified: 2026-05-09T09:39:11.039982
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Evaluation probabiliste et vérification déterministe en sûreté de fonctionnement à partir d'un unique réseau de Petri coloré
type: Distribution
format: HTML
access URL: https://hal.science/hal-00872442
issued: 2026-05-09T09:39:11.052846
modified: 2026-05-09T09:39:11.029463