For the most recent entries see the Petri Nets Newsletter.

Modelling a Door Controller Protocol in LOOPN.

Lakos, C.A.; Keen, C.D.

In: Proceedings of the 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, pages 31-43. 1993.

Abstract: Object-oriented development systems traditionally have the benefits of encouraging well-modularised code with clean interfaces, and being able to provide reusable modules. Frequently, the penalty for such environments is the size and possibly speed of generated code. This paper presents a case study of designing an electronic door controller system which is to run on a central PC and distributed door control units which consist of tightly constrained Z80 processors. The initial prototype was developed in LOOPN, a language and simulator for specifying systems in terms of coloured timed petri nets. This prototype was primarily implemented to isolate protocol errors and possible timing problems. However, the code of the prototype could also be adapted to produce the running system in the door controller units. This paper briefly describes LOOPN and considers its application to the modelling of a door control system and its associated network protocol. It also indicates how the target code could be adapted to produce the run-time system.


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

Back to the Petri Nets Bibliography