Seminar@SystemX - Stephan Haar - Analyse causale dans les systèmes à événements discrets

"Post hoc non est propter hoc / after this, but not because of this'' Stephan Haar take a look at the notion of causal description and explanation in concurrent discrete event systems. The guiding question is how the use of occurrence nets allows to go beyond chronological ordering in monitoring behaviour and to extract what really led, or even caused, what was registered about a real process. The talk will discuss tasks such as observing, discovering, diagnosing and testing with causal precedence ordering, in a common formal frameworkof Petri nets.