- Tytuł:
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Autorzy:
-
Li, B.
Khlif-Bouassida, M.
Toguéyni, A. - Tematy:
-
fault diagnosis
discrete event system
labeled Petri nets
on-the-fly diagnosability analysis
verifier nets
diagnostyka błędu
układ zdarzeń dyskretnych
sieci Petriego - Pokaż więcej
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Dostawca treści:
- Biblioteka Nauki
Artykuł