TY - RPRT TI - Petri net model for analysis of concurrently processed complex algorithms AU - Stoughton, John W. AU - Mielke, Roland R. PY - 1986 UR - https://ntrs.nasa.gov/citations/19870043929 ID - 19870043929 ER -