Share Email Print
cover

Proceedings Paper

Petri Nets: A Tool For Representing Concurrent Activities In Space Station Applications
Author(s): D. E. Cooke
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

With the complexities that are likely to be found in control processes aboard the Space Station, it is appropriate to identify a tool for the analysis of these structures at an early stage in the design. The interest in Petri nets for the representation of concurrent structures has grown considerably in the past few years. Introduced here is a robust notation for the machine representation of Petri nets. The notation has been used successfully in the Control Flow and Data Flow representations of systems.

Paper Details

Date Published: 31 October 1987
PDF: 11 pages
Proc. SPIE 0851, Space Station Automation III, (31 October 1987); doi: 10.1117/12.942914
Show Author Affiliations
D. E. Cooke, University of Texas at El Paso (United States)


Published in SPIE Proceedings Vol. 0851:
Space Station Automation III
Wun C. Chiou, Editor(s)

© SPIE. Terms of Use
Back to Top