Petri Nets for parallel processing and concurrent systems. January 1975-April 1988 (Citations from the INSPEC: Information Services for the Physics and Engineering Communities data base). Report for January 1975-April 1988

Technical Report · Fri Apr 01 00:00:00 EST 1988

OSTI ID:5221789

This bibliography contains citations concerning principles and properties of Petri Nets and their uses and interpretation in modeling and simulating a wide variety of concurrent systems as well as their implementation in parallel processing. Control, verification, and validation concepts by Petri Nets are also considered. (This updated bibliography contains 220 citations, 50 of which are new entries to the previous edition.)

• Research Organization: National Technical Information Service, Springfield, VA (USA)
• OSTI ID: 5221789
• Report Number(s): PB-88-862339/XAB
• Resource Relation: Other Information: Supersedes PB--87-857769
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
PARALLEL PROCESSING
BIBLIOGRAPHIES
COMPUTER NETWORKS
FUNCTIONAL MODELS
SIMULATION
DOCUMENT TYPES
PROGRAMMING
990210* - Supercomputers- (1987-1989)