DocumentCode
3322401
Title
Modelling layered protocols in LOOPN
Author
Lakos, C.A. ; Keen, C.D.
Author_Institution
Dept. of Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
fYear
1991
fDate
2-5 Dec 1991
Firstpage
106
Lastpage
115
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
Keywords
Petri nets; formal specification; object-oriented programming; protocols; specification languages; LOOPN; coloured timed Petri nets; complex specifications; inheritance; layered protocols modelling; modularisation; object-oriented features; polymorphism; simulator; subtyping; Computational modeling; Computer science; Education; Explosions; Network synthesis; Object oriented modeling; Object oriented programming; Petri nets; Protocols; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on
Conference_Location
Melbourne, Vic.
Print_ISBN
0-8186-2285-7
Type
conf
DOI
10.1109/PNPM.1991.238777
Filename
238777
Link To Document