TY  - RPRT
TI  - Using Colored Stochastic Petri Net (CS-PN) software for protocol specification, validation, and evaluation
AU  - Zenie, Alexandre
AU  - Luguern, Jean-Pierre
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19880013204
ID  - 19880013204
ER  -