Petri net tools for the specification and analysis of discrete controllers

Reg G. Willson(Jet Propulsion Laboratory), Bruce H. Krogh(Carnegie Mellon University)
IEEE Transactions on Software Engineering
January 1, 1990
10.1109/32.44362
Cited by 48

Related Papers

Curiosity’s Mars Hand Lens Imager (MAHLI) Investigation
|Space Science Reviews|2012|233
Mars Exploration Rover Engineering Cameras
|Journal of Geophysical Research Atmospheres|2003|228
Computer Vision on Mars
|International Journal of Computer Vision|2007|189
<title>Modeling and calibration of automated zoom lenses</title>
|Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE|1994|183
The Mars 2020 Engineering Cameras and Microphone on the Perseverance Rover: A Next-Generation Imaging System for Mars Exploration
|Space Science Reviews|2020|145