Tech Report Number
91-024
Date of this Version
3-21-1991
Revised Date
1991-09-04 00:00
Recommended Citation
Marinescu, Dan C.; Beaven, Mike; and Stansifer, Ryan, "A Parallel Algorithm for Computing Invariants of Petri Net Models" (1991). Department of Computer Science Technical Reports. Paper 873.
https://docs.lib.purdue.edu/cstech/873
Number of Pages
8