上一条: 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