scientific article; zbMATH DE number 5790238

zbMath1217.68046MaRDI QIDQ4929341

Yannick Pencolé, Audine Subias

Publication date: 22 September 2010

Full work available at URL: http://www.jucs.org/jucs_15_17/a_chronicle_based_diagnosability

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

chroniclediscrete-event systemstime Petri netsdiagnosisdiagnosabilityworkflowweb service

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99) Reliability, testing and fault tolerance of networks and computer systems (68M15) Internet topics (68M11)

Related Items (4)

Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ Failure detection and localization for timed event graphs in \((\max,+)\)-algebra

Uses Software

• TINA

This page was built for publication: