In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 66-83. 1995.
Abstract: Modern window-based user interfaces are actually a special kind of reactive system, and Petri nets may be fruitfully used to design such user-computer dialogues. This paper describes a software engineering tool aimed at supporting the use of high-level Petri nets for the specification, design and implementation of user interfaces in an event-driven interface system. We assess the rationale for the use Petri nets in such a perspective. We then detail the object-oriented software architecture of the environment, and present an original algorithm for interpreting high-level Petri nets in an event-driven environment.