Tech Report Number
89-857
Date of this Version
2-6-1989
Recommended Citation
Lin, Chuang and Marinescu, Dan C., "Reachability Trees for High Level Petri Nets With Marking Variables" (1989). Department of Computer Science Technical Reports. Paper 731.
https://docs.lib.purdue.edu/cstech/731
Number of Pages
13