Skip to content

A polynomial algorithm for checking diagnosability of Petri nets.

YuanLin Wen, ChunHsi Li, MuDer Jeng

VenueBSMC
Year2005
ProceedingsSMC

Browse the full SMC paper archive.