Portal de Periódicos da CAPES

(t, k)-diagnosable system: a generalization of the pmc models

2003; Institute of Electrical and Electronics Engineers; Volume: 52; Issue: 7 Linguagem: Inglês

10.1109/tc.2003.1214345

2326-3814

Toru Araki, Yukio Shibata,

Petri Nets in System Modeling

We introduce a new model for diagnosable systems called (t, k)-diagnosable system which guarantees that at least k faulty units (processors) in a system are detected provided that the number of faulty units does not exceed t. This system includes classical one-step diagnosable systems and sequentially diagnosable systems. We prove a necessary and sufficient condition for (t, k)-diagnosable system, and discuss a lower bound for diagnosability. Finally, we deal with a relation between (t, k)-diagnosability and diagnosability of classical basic models.