Algorithm for the set of generators of an arbitrary firing count vector in Petri nets | IEEE Conference Publication | IEEE Xplore