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