Skip to main content
Unpublished Paper
Reachability Graphs and Invariants for Stochastic High Level Petri Nets
Department of Computer Science Technical Reports
  • Jing Dong
  • Dan C. Marinescu
  • Chuang Lin
Date of this Version
1987
Disciplines
Report Number
87-686
Number of Pages
27
Citation Information
Jing Dong, Dan C. Marinescu and Chuang Lin. "Reachability Graphs and Invariants for Stochastic High Level Petri Nets" (1987)
Available at: http://works.bepress.com/jing_dong/11/