Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets

From MaRDI portal
Publication:6052746