
A Short Overview on Diagnosability of Patterns in Timed Petri Net
Author(s) -
Éric Lubat,
Silvano Dal Zilio
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - petri net , unobservable , observability , trace (psycholinguistics) , computer science , context (archaeology) , automaton , event (particle physics) , bounded function , intersection (aeronautics) , theoretical computer science , property (philosophy) , stochastic petri net , algorithm , mathematics , paleontology , mathematical analysis , linguistics , philosophy , physics , epistemology , quantum mechanics , engineering , econometrics , biology , aerospace engineering