Modelling layered protocols in LOOPN

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 Pub Date : 1991-12-02 DOI:10.1109/PNPM.1991.238777

C. Lakos, C. Keen

引用次数: 30

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.<>

查看原文本刊更多论文

LOOPN中分层协议的建模

loop是一种语言和模拟器，用于根据彩色定时Petri网指定系统。它包括面向对象的特性，如子类型、继承和多态，这些特性允许对复杂的规范进行方便的模块化。本文简要介绍了环路，并考虑了它在分层网络协议建模中的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91

自引率

0.00%

发文量