K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

Autor: Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif
Rok vydání: 2023
Předmět:
Zdroj: Automatica. 147:110689
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2022.110689
Databáze: OpenAIRE