Articolul precedent |
Articolul urmator |
534 4 |
Ultima descărcare din IBN: 2022-06-15 12:02 |
SM ISO690:2012 TITCHIEV, Inga. Modeling of the Communication Protocol by Means of Colored Petri Nets. Case Study. In: International Workshop on Intelligent Information Systems, 13-14 septembrie 2011, Chișinău. Chișinău, Republica Moldova: Institute of Mathematics and Computer Science, 2011, pp. 203-206. ISBN 978-9975-4237-0-0. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
International Workshop on Intelligent Information Systems 2011 | ||||||
Seminarul "International Workshop on Intelligent Information Systems" Chișinău, Moldova, 13-14 septembrie 2011 | ||||||
|
||||||
Pag. 203-206 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
In this paper we present a small example describing a communication protocol by which a sender can transfer a number of packets to two receivers, using Colored Petri Nets. The problem is that the medium may lost the packets and packets may overtake each other. Hence, it may be necessary to retransmit packets and to ignore doublets and packets that are out of order. Packets also cannot reach desired receiver. |
||||||
Cuvinte-cheie Colored Petri Nets, communication protocol, verification, State space, Model checking, behavioral modeling |
||||||
|