上一条:Structural Decomposition and Decentralized Control of Petri Nets
下一条:An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs