Automated parallelization of timed petri-net simulations
By: David M. Nicol, Weizhen Mao.
Contributors: Mao, Weizhen.; Langley Research Center.
Series: ICASE report -- no. 93-91.; NASA contractor report -- 191574.; NASA contractor report -- NASA CR-191574.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1994
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Parallel processing (Electronic computers); Petri nets.
Other titles: Automated parallelization of timed petri net simulations.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 94-0441-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 1 microfiche.