In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 893-898. 1999.
Abstract: The legal firing sequence problem of Petri nets (LFS) is solved in linear time for cyclic cactuses with exactly two kinds of edge weights and for a single transition firings.
Keywords: Petri nets, edge-weighted cactuses, legal firing sequence problem.