Donaldson, SR; Bause, F; Kritzinger, Pieter S.
(South African Computer Society (SAICSIT), 1996)
We consider the complexity of several property preserving Petri net transformations found in the literature. These transformations were candidates for.inclusion in a software tool to peiform liveness and boundedness ...