Diagnosability verification with Petri net unfoldings.
| Autor: | Madalinski, Agnes1 amadalin@uach.cl, Nouioua, Farid2, Dague, Philippe3 |
|---|---|
| Zdroj: | International Journal of Knowledge Based Intelligent Engineering Systems. Jun2010, Vol. 14 Issue 2, p49-55. 7p. 2 Diagrams. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|