Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach
type: Dataset
description: International audience
issued: 2026-05-09T09:39:42.289163
language: en
modified: 2026-05-09T09:39:42.289168
contact point: Organization
  fn: CCSD
keyword: coloured-petri-nets
keyword: conference-papers
keyword: dependability
keyword: deterministic-verification
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-pfcomputer-science-csperformance-cspf
keyword: spiautoengineering-sciences-physicsautomatic
keyword: stochastic-assessment
landing page: Beyond the Horizon

Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach
type: Distribution
format: HTML
issued: 2026-05-09T09:39:42.291914
modified: 2026-05-09T09:39:42.272180
access URL: https://hal.science/hal-00872420

test_moissonnage_selune
type: Agent