Translator Disclaimer
31 October 1987 Petri Nets: A Tool For Representing Concurrent Activities In Space Station Applications
Author Affiliations +
Proceedings Volume 0851, Space Station Automation III; (1987) https://doi.org/10.1117/12.942914
Event: Advances in Intelligent Robotics Systems, 1987, Cambridge, CA, United States
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.
© (1987) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
D. E. Cooke "Petri Nets: A Tool For Representing Concurrent Activities In Space Station Applications", Proc. SPIE 0851, Space Station Automation III, (31 October 1987); https://doi.org/10.1117/12.942914
PROCEEDINGS
11 PAGES


SHARE
Advertisement
Advertisement
Back to Top