Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants

Mario D Anna, Sebastiano Trigila. Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants. Computer Communications, 11(4):215-220, 1988. [doi]

Abstract

Abstract is missing.