By Topic

Timed Petri nets and their application to communication protocol specification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Zhu, J.J. ; Dept. of Comput. Sci. & Electr. Eng., Lehigh Univ., Bethlehem, PA, USA ; Denton, R.T.

A generalized timed Petri net representation is defined and several time Petri net models compared. By introducing a new way to include a time variable in the Petri net and the firing rules, the authors realized a new timed Petri net that includes the other two principal types of timed Petri nets. This new timed Petri net seems to take a more general form than other types of time Petri nets defined so far. Therefore, complex systems are expected to be modeled with it. The authors present a model to represent a timer in order to model real communication systems properly. An example is given in which the timed Petri net representation and the timer model are applied to a communication protocol. With the results provided, communication protocols involving timers and transmission errors can be modeled

Published in:

Military Communications Conference, 1988. MILCOM 88, Conference record. 21st Century Military Communications - What's Possible? 1988 IEEE

Date of Conference:

23-26 Oct 1988