TY - RPRT TI - Performance and state-space analyses of systems using Petri nets AU - Watson, James Francis, III PY - 1992 UR - https://ntrs.nasa.gov/citations/19930015415 ID - 19930015415 ER -