Login / Signup

A Parallel Algorithm for Computing Invariants of Petri Net Models.

Dan C. MarinescuMike BeavenRyan Stansifer
Published in: PNPM (1991)
Keyphrases