In: Proceedings of Rensselaer's Second International Conference on Computer Integrated Manufacturing, 1990, Troy, NY, USA, pages 178-185. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: The design and functionality of Protenv, a programming environment for protocol development, is described. Protenv runs under X windows and allows the user to develop protocols using Petri nets and Estelle. The combination of Petri nets and Estelle provides a precise protocol specification as well as a powerful way for graphical visualization and verification of protocols. The use of Protenv to specify, analyze, and implement the manufacturing message specification (MMS) is also discussed.
Keywords: Protenv; programming environment; Estelle; manufacturing message specification; protocol specification; graphical visualization.