Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants. - Mario D'Anna; Sebastiano Trigila (Comput. Commun., 1988)