Research Catalog

Automated parallelization of timed petri-net simulations

Title: Automated parallelization of timed petri-net simulations [microform] / David M. Nicol, Weizhen Mao.
Author: Nicol, David M.
Publication: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors

Description

1 v.

Series Statement

ICASE report ; no. 93-91
NASA contractor report ; 191574

Uniform Title

NASA contractor report ; NASA CR-191574.

Alternative Title

Automated parallelization of timed petri net simulations.

Subject

Note

Distributed to depository libraries in microfiche.
Shipping list no.: 94-0441-M.

Reproduction (note)

Microfiche.

Call Number

READEX Microfiche NAS 1.26:191574

OCLC

marcive31275055

Author

Nicol, David M.

Title

Automated parallelization of timed petri-net simulations [microform] / David M. Nicol, Weizhen Mao.

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Series

ICASE report ; no. 93-91

NASA contractor report ; 191574

NASA contractor report ; NASA CR-191574.

Reproduction

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

Added Author

Mao, Weizhen.

Langley Research Center.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:191574

Research Call Number

READEX Microfiche NAS 1.26:191574

View in Legacy Catalog