For the most recent entries see the Petri Nets Newsletter.

Models and Environments for Designing Open Distributed Systems Using Formal Approaches.

Diaz, Michel; Courtiat, Jean-Pierre

In: Proceedings of the 2nd IEEE Workshop on Future Trends of Distributed Computing Systems: Future Trends 90; 1990, Cairo, Egypt, pages 458-464. Piscataway, NJ, USA: IEEE Service Center, 1990.

Abstract: A discussion is presented of the main formal techniques developed for designing hierarchies of protocols and services in distributed systems. Emphasis is on an approach which allows simultaneous handling of function-related and time-related requirements. As a consequence, a state-based methodology is presented which includes extended-time Petri nets and the formal description technique Estelle for behavioral and performance descriptions. It is shown how extended-time Petri net models can be combined with Estelle to describe dynamic structures and dynamic communication in hierarchies of processes.

Keywords: distributed system design; protocol hierarchy; extended-time net; Estelle; performance; dynamic communication.

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

Back to the Petri Nets Bibliography