For the most recent entries see the Petri Nets Newsletter.

A Graphical Environment for the AUV Mission Programming.

Anisimov, N.A.; Kovalenko, A.A.; Tarasov, G.V.; Inzartsev, A.V.; Scherbatyuk, Ph.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography