Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Clans of Petri Nets
Details
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.
Autorentext
Dmitry A. Zaitsev is the Senior Member of IEEE, Member of ACM, SIAM and GI. He constructed the universal Petri net, developed the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets into clans, and the method of synthesis of fuzzy logic function given in tabular form.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783659422287
- Anzahl Seiten 292
- Genre Allgemein & Lexika
- Herausgeber LAP LAMBERT Academic Publishing
- Gewicht 453g
- Untertitel Verification of protocols and performance evaluation of networks
- Größe H220mm x B150mm x T19mm
- Jahr 2013
- EAN 9783659422287
- Format Kartonierter Einband
- ISBN 3659422282
- Veröffentlichung 29.06.2013
- Titel Clans of Petri Nets
- Autor Dmitry Zaitsev
- Sprache Englisch