Tech Report Number
89-860
Date of this Version
2-15-1989
Recommended Citation
Lin, Chuang and Marinescu, Dan C., "An Algorithm for Computing S-Invariants for High Level Petri Nets" (1989). Department of Computer Science Technical Reports. Paper 732.
https://docs.lib.purdue.edu/cstech/732
Number of Pages
14