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

Bibliographic Details
Uniform Title:NASA contractor report ; NASA CR-191574.
ICASE report ; no. 93-91.
Main Author: Nicol, David M.
Corporate Author: Langley Research Center
Other Authors: Mao, Weizhen
Language:English
Published: Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], [1994]
Series:NASA contractor report ; NASA CR-191574.
ICASE report ; no. 93-91.
Subjects:
Parallel processing (Electronic computers)
Petri nets.
Physical Description:1 volume.
Format: Government Document Microfilm Book

MARC

LEADER 00000mam a22000005a 4500
001 in00001924475
003 OCoLC
005 20220616163103.0
007 he ||||||||||
008 941013s1994 vau b f000 0 eng d
035 |a 31275055 
035 |a (OCoLC)31275055 
037 |a N 94-23341  |b NASA 
040 |a GPO  |c GPO  |d DLC  |d UtOrBLW 
049 |a QEMZ 
074 |a 0830-H-14 (MF) 
086 0 |a NAS 1.26:191574 
099 |a NAS 1.26:191574 
100 1 |a Nicol, David M.  |0 http://id.loc.gov/authorities/names/no2007146825 
245 1 0 |a Automated parallelization of timed petri-net simulations /  |c David M. Nicol, Weizhen Mao. 
260 |a Hampton, Va. :  |b National Aeronautics and Space Administration, Langley Research Center ;  |a [Springfield, Va.] :  |b [National Technical Information Service, distributor],  |c [1994] 
300 |a 1 volume. 
336 |a text  |b txt  |2 rdacontent 
337 |a microform  |b h  |2 rdamedia 
338 |a microfiche  |b he  |2 rdacarrier 
490 1 |a ICASE report ;  |v no. 93-91 
490 1 |a NASA contractor report ;  |v 191574 
500 |a Distributed to depository libraries in microfiche. 
500 |a Shipping list number: 94-0441-M. 
500 |a Microform. 
533 |a Microfiche.  |b [Washington, D.C. :  |c National Aeronautics and Space Administration,  |d 1994]  |e 1 microfiche. 
650 0 |a Parallel processing (Electronic computers)  |0 http://id.loc.gov/authorities/subjects/sh85097826 
650 0 |a Petri nets.  |0 http://id.loc.gov/authorities/subjects/sh85100346 
700 1 |a Mao, Weizhen.  |0 http://id.loc.gov/authorities/names/nr90020707 
710 2 |a Langley Research Center.  |0 http://id.loc.gov/authorities/names/n79134855 
740 0 |a Automated parallelization of timed petri net simulations. 
830 0 |a NASA contractor report ;  |v NASA CR-191574.  |0 http://id.loc.gov/authorities/names/n83825229 
830 0 |a ICASE report ;  |v no. 93-91.  |0 http://id.loc.gov/authorities/names/n86703914 
907 |y .b30166007  |b 160813  |c 980610 
998 |a (2)gd  |a 7f  |b 980604  |c m  |d a   |e -  |f eng  |g vau  |h 0  |i 2 
935 |a .b15337996LM  |b 03-06-97  |c 02-14-97 
935 |a BCV8193 
999 f f |i 0f84a818-2cc3-5925-9927-6045add91ed5  |s 58587e27-6bc2-5770-971e-51ae5e752050  |t 0 
952 f f |p Non-Circulating  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Government Documents  |d MSU Government Documents - U.S. Fiche, 2 West  |t 0  |e NAS 1.26:191574  |h Other scheme  |i Microform (Microfilm/Microfiche)  |n 1