Dan C. Marinescu, Mike Beaven, Ryan Stansifer. A Parallel Algorithm for Computing Invariants of Petri Net Models. In PNPM. pages 136-143, 1991.
@inproceedings{MarinescuBS91, title = {A Parallel Algorithm for Computing Invariants of Petri Net Models}, author = {Dan C. Marinescu and Mike Beaven and Ryan Stansifer}, year = {1991}, tags = {C++}, researchr = {https://researchr.org/publication/MarinescuBS91}, cites = {0}, citedby = {0}, pages = {136-143}, booktitle = {PNPM}, }