Zobrazeno 1 - 2
of 2
pro vyhledávání: '"verifier nets"'
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 28, Iss 2, Pp 269-281 (2018)
This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel a
Externí odkaz:
https://doaj.org/article/a453bf6336384250a87fe9c8ed352460
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 28, Iss 2, Pp 269-281 (2018)
International Journal of Applied Mathematics and Computer Science
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩
International Journal of Applied Mathematics and Computer Science
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2018, 28 (2), pp.269-281. ⟨10.2478/amcs-2018-0019⟩
This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7824dd183e6516825f72c3b6876f850a
https://doi.org/10.2478/amcs-2018-0019
https://doi.org/10.2478/amcs-2018-0019