Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets

Tsung Hsien Yu. Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets. Int. J. Control, 95(10):2597-2610, 2022. [doi]

Abstract

Abstract is missing.