Login / Signup

A polynomial algorithm for checking diagnosability of Petri nets.

YuanLin WenChunHsi LiMuDer Jeng
Published in: SMC (2005)
Keyphrases
  • petri net
  • discrete event systems
  • decision making