Performance Analysis of the Timed Token Protocol of FDDI and FDDI-II.

Michael Tangemann Klaus Sauer

Published in: IEEE J. Sel. Areas Commun. (1991)

Keyphrases

lightweight
petri net
formal analysis
colored petri nets
network protocols
databases
database systems
tcp ip
application layer
cryptographic protocols
communication protocols
timed automata