Metadata
Author: springer
Data
English[en]
Each component of the system is modelled by a single automaton; interactions between components are modelled by labels on the arcs which may represent synchronization and state-dependent transitions.
French[fr]
Chaque composant est modélisé par un automate dont les arcs sont étiquetés par des probabilités et des synchronisations portant sur plusieurs automates.