Обложка Clans of Petri Nets
Название книги:

Clans of Petri Nets

Verification of protocols and performance evaluation of networks

LAP LAMBERT Academic Publishing (2013-06-29 )

Books loader

Omni badge имеющий право на ваучер
ISBN-13:

978-3-659-42228-7

ISBN-10:
3659422282
EAN:
9783659422287
Язык Книги:
Английский
Краткое описание:
Foundations of the functional Petri net theory were developed for the analysis of detailed models of networking protocols. Methods of timed Petri nets reduction on the basis of equivalent transformations of formulas describing their transfer function were constructed; weak types of nets equivalence were investigated. Methods of synthesis of continuous (fuzzy) logic functions given in tabular form were developed. Bases of the theory of clans of systems of the linear algebraic equations were built, allowing the acceleration of the systems solving in rings with a sign, as well as the corresponding algorithms and software. Methods of synthesis of Petri net models on standard specifications of telecommunication protocols with use of intermediate language of cooperating consecutive Hoare processes were developed. Petri net model of the electronic commerce protocol IOTP was synthesized. Verification of protocols ECMA, BGP, TCP, IOTP was fulfilled. The method of compositional calculation of invariants for infinite Petri nets with regular structure was developed.
Издательский Дом:
LAP LAMBERT Academic Publishing
Веб-сайт:
https://www.lap-publishing.com/
By (author) :
Dmitry Zaitsev
Количество страниц:
292
Опубликовано:
2013-06-29
Акции:
В наличии
Категория:
Обмен данными, сети
Цена:
82.90 €
Ключевые слова:
Synthesis, analysis, Model, Network, telecommunication system, functional Petri net, Performance Evaluation, verification, clan, protocol

Books loader

Рассылка

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING