For the most recent entries see the Petri Nets Newsletter.

Protenv: a Programming Environment for Protocol Development.

Abburi, R.; Gildea, K.J.; Krishnamoorthy, M.S.; Ramamurthy, B.

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.

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

Back to the Petri Nets Bibliography