A Parallel Algorithm for Computing Invariants of Petri Net Models

Dan C. Marinescu, Mike Beaven, Ryan Stansifer. A Parallel Algorithm for Computing Invariants of Petri Net Models. In PNPM. pages 136-143, 1991.

Abstract

Abstract is missing.