The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 106-115
C.A. Lakos , Dept. of Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
ABSTRACT
LOOPN is a language and simulator for specifying systems in terms of coloured timed Petri nets. It includes object-oriented features such as subtyping, inheritance and polymorphism which allow for the convenient modularisation of complex specifications. This paper briefly describes LOOPN and considers its application to the modelling of layered network protocols.<>
INDEX TERMS
formal specification, object-oriented programming, Petri nets, protocols, specification languages
CITATION

C. Lakos and C. Keen, "Modelling layered protocols in LOOPN," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 106-115.
doi:10.1109/PNPM.1991.238777
78 ms
(Ver 3.3 (11022016))