Translation of modified predicate transition nets models of cummunication protocols into simulation programs

Authors:
Chuang Lin;Dan Christian Marinescu
Affiliations:
Computer Sciences Department, Purdue University, West Lafayette, IN;Computer Sciences Department, Purdue University, West Lafayette, IN
Venue:
WSC '86 Proceedings of the 18th conference on Winter simulation
Year:
1986

Citing 13
Cited 0

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Data and computer communications

Data and computer communications
Petri nets: an introduction

Petri nets: an introduction
Discrete Time Stochastic Petri Nets

IEEE Transactions on Software Engineering
The development of GPSS/85

ANSS '85 Proceedings of the 18th annual symposium on Simulation
Rapid prototyping of control systems using high level Petri nets

ICSE '85 Proceedings of the 8th international conference on Software engineering
Petri Nets

ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Simulation of Computer Communication Systems

Simulation of Computer Communication Systems
Processes of Place/Transition-Nets

Proceedings of the 10th Colloquium on Automata, Languages and Programming
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
An Algebraic Structure of Petri Nets

Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Specification and verification of distributed systems using prolog interpreted petri nets.

ICSE '84 Proceedings of the 7th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of modified predicate transition nets for the modeling of computer communication protocols has been investigated by the authors in reference [43]. The translation of such models into simulation programs is examined in this paper. Though protocols for all layers of a computer communication architecture can be modeled using the technique presented in this paper, we focus on the network layer protocols and we treat mechanisms like: fragmentation and reassembly, routing, store and forward buffering and congestion control.Non-prime transitions can be embedded into the modified predicate transition nets hence a top-down modeling is possible. The present paper uses a hierarchical modeling approach to describe complex communication mechanisms in terms of simpler constructs. Models developed using the modified predicate transition nets can be automatically translated into simulation programs. The paper presents the translation of a computer communication model into a program, using a process oriented simulation language, ASPOL.