Tech Report Number
87-686
Date of this Version
5-19-1987
Recommended Citation
Dong, Jing; Marinescu, Dan C.; and Lin, Chuang, "Reachability Graphs and Invariants for Stochastic High Level Petri Nets" (1987). Department of Computer Science Technical Reports. Paper 595.
https://docs.lib.purdue.edu/cstech/595
Number of Pages
27