Indra, A Autonomous spacecraft mission planning and execution in a petri net framework by A Indra - Bangalore : Indian Institute of Science, 2011. - xiv, 170 p. : ill. Include CD and bibliographical references PhD;2011;Computer Science and Automation Dewey Class. No.: 005.1310246294 P11