In: Proceedings of the 10th Int. Symp. on Unmanned Unthethered Submersible Technology, pages 394-405. Autonomous Undersea Systems Institute, September 1997.
Abstract: One approach for creation of a graphical environment for AUV mission programming and verification is described in the paper. It is based on a Petri net theory. The results of the AUV mission programming and verification using the graphical environment are supplemented.
Keywords: autonomous underwater vehicle; visual language; PN≥-Tools; verification; SDL.
Back to the Petri Nets Bibliography