Invariant-preserving transformations for the verification of place/transition systems | IEEE Journals & Magazine | IEEE Xplore