Hosted with the Supercomputer Software Department RAS Home
Parallel Computing Technologies Third International Conference (PaCT-95) September 12-15, 1995. St.-Petersburg, Russia Proceedings Home PaCTs Prev Contents Next Authors
	Vol. 964

Petri Net Modelling of Estelle-specified Communication Protocols

by V. A. Nepomniaschy, G. I. Alekseev, A. V. Bystrov, T. G. Churina, S. P. Mylnikov, E. V. Okunishnikova

Abstract:
In order to use net models for communication protocol verification, a method intended for automatic translation of Estelle protocol specifications in coloured Petri nets is proposed. A tool for simulation and analysis of the net models is outlined. For explanation of the method the Stenning protocol is used.

Keywords: Theory



Classification:
	C.1	processor architectures
	C.2	computer-communication networks
	C.3	special-purpose and application-based systems; microprocessor/microcomputer applications; process control systems; real-time systems; signal processing systems
	C.4	performance of systems; design studies; measurement techniques; modeling techniques; performance attributes; reliability, availability, and serviceability
	D.1	programming techniques
	D.2	software engineering
	D.3	programming languages
	D.4	operating systems
	F.1	computation by abstract devices
	F.2	analysis of algorithms and problem complexity


Source:
V. A. Nepomniaschy, G. I. Alekseev, A. V. Bystrov, T. G. Churina, S. P. Mylnikov, E. V. Okunishnikova, Petri Net Modelling of Estelle-specified Communication Protocols.
In V. Malyshkin (ed.), Parallel Computing Technologies: Proceedings of the 3th International Conference, Lect. Notes in Comp. Sci., Vol. 964, Springer, 1995, pp. 94-108

ISSN 0302-9743
ISBN 3-540-60222-4

Search LNCS articles for:
Nepomniaschy, V. A. ; Alekseev, G. I. ; Bystrov, A. V. ; Churina, T. G. ; Mylnikov, S. P. ; Okunishnikova, E. V.



Scanned first page:

Designed by the Supercomputer Software Department RAS, 1998