Skip to main content

Department of Computer Science Technical Reports

Reachability Graphs and Invariants for Stochastic High Level Petri Nets

Jing Dong
Dan C. Marinescu
Chuang Lin

Date of this Version

1987

Tech Report Number

87-686

Number of Pages

27

Included in

Computer Sciences Commons

COinS