Inproceedings,

A polynomial algorithm for checking diagnosability of Petri nets.

, , and .
SMC, page 2542-2547. IEEE, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews