Clans of Petri nets: Verification of protocols and performance evaluation of networks

دسته بندی: شبکه سازی
ویرایش:  
نویسندگان: Zaitsev D.A.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 286 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 43,000

LAP LAMBERT Academic Publishing, 2013.- 292 p. ISBN 978-3-659-42228-7 مبانی نظریه شبکه کاربردی پتری برای تجزیه و تحلیل مدل‌های جزئی پروتکل‌های شبکه توسعه داده شد. روش‌های کاهش شبکه‌های پتری بر اساس تبدیل‌های معادل فرمول‌هایی که تابع انتقال آن‌ها را توصیف می‌کنند ساخته شد. انواع ضعیف هم ارزی شبکه ها مورد بررسی قرار گرفت. روش‌های سنتز توابع منطقی پیوسته (فازی) که به شکل جدولی ارائه شده‌اند، توسعه داده شد. پایه‌های
تئوری قبیله‌های سیستم‌های معادلات جبری خطی ساخته شد که به
شتاب سیستم‌های حل حلقه‌ای با علامت و همچنین
الگوریتم‌ها و نرم‌افزارهای مربوطه را می‌دهد. روش‌های سنتز مدل‌های شبکه پتری بر روی مشخصات استاندارد پروتکل‌های مخابراتی با استفاده از زبان میانی عملیات مشترک فرآیندهای Hoare متوالی توسعه داده شد. مدل شبکه پتری پروتکل تجارت الکترونیک
IOTP سنتز شد. تأیید پروتکل های ECMA، BGP،
TCP، IOTP انجام شد. روش محاسبه ترکیبی متغیرها برای
شبکه های پتری بی نهایت با ساختار منظم توسعه داده شد. این روش برای اثبات تغییرناپذیری مدل شبکه پتری شبکه اترنت با توپولوژی گذرگاه رایج
استفاده شد. روش‌های ساخت مدل‌های سیستم‌های مخابراتی با
ترکیب مدل‌های اجزاء و تخمین ویژگی‌های عملکردی
مدل‌ها توسعه یافت. اترنت سوئیچ شده، شبکه سوئیچینگ برچسب MPLS و
شبکه بی سیم بلوتوث بررسی شد. فهرست مطالب: وظایف مدل‌سازی فرآیندها در سیستم‌ها و شبکه‌های مخابراتی.
تأیید پروتکل‌های شبکه.
برآورد کارایی سیستم‌ها و شبکه‌های مخابراتی.
مدل‌سازی شبیه‌سازی سیستم‌های مخابراتی.
مدل‌سازی سیستم‌های مخابراتی توسط شبکه‌های پتری.
تأیید پروتکل‌ها با استفاده از مدل‌های شبکه پتری.
شبکه‌های پتری رنگی به عنوان ابزاری برای شبیه‌سازی مدل‌سازی سیستم‌های مخابراتی.
تجزیه و کاهش شبکه‌های پتری.
/>حل سیستم های معادلات دیوفانتین خطی. شبکه های پتری تابعی.
مفاهیم و تعاریف اساسی.
خواص زیرشبکه های تابعی.
روش های تجزیه شبکه پتری به زیرشبکه های تابعی.
تابع انتقال شبکه پتری.
ترکیب توابع منطقی پیوسته به صورت جدولی ارائه شده است.
اجرای کارآمد الگوریتم تجزیه به زیرشبکه های تابعی. گروه سیستم های معادلات جبری خطی.
روش های جبری تجزیه و تحلیل شبکه های پتری.
گروه های سیستم های خطی به عنوان تعمیم شبکه های پتری کاربردی.
ترکیب دسته های سیستم های خطی.
ترکیب متوالی دسته های سیستم های خطی.
فروپاشی بهینه از یک نمودار وزنی.
الگوریتم‌های حل ترکیبی سیستم‌های معادلات جبری خطی. ترکیب مدل‌های شبکه پتری و تأیید پروتکل‌های شبکه.
شبکه پتری به عنوان زبان یکنواخت مشخصات پروتکل ها.
ساخت مدل شبکه پتری پروتکل BGP.
ساخت مدل شبکه پتری پروتکل TCP.
تأیید پروتکل BGP.
تأیید پروتکل TCP.
روش‌های سنتز پروتکل‌های شبکه پتری />پروتکل های اترنت با معماری گذرگاه مشترک.
مدل اترنت با معماری گذرگاه مشترک.
محاسبه ثابت ها به شکل پارامتری. ارزیابی عملکرد شبکه ها توسط شبکه های پتری رنگی.
مدل های شبکه های اترنت سوئیچ شده.
مدل یک شبکه محلی.
مدل سوئیچ.
مدل های ایستگاه کاری و سرور.
پارامترهای مدل.
روش اندازه‌گیری قطعه روتر.
مدل روتر MPLS.
مدل ستون فقرات اینترنت اروپا.
مدل های شبکه های ترمینال.
تخمین مقایسه ای مسیریابی IP و MPLS.
مدل های بلوتوث شبکه‌ها.
نمای کلی فناوری بلوتوث.
مدل دستگاه برده.
مدل دستگاه اصلی.
مدل‌های پیکونت.
تخمین کارایی استفاده از فضای آدرس.
اندازه گیری ویژگی های شبکه های واقعی. تأیید پروتکل ECMA.
توجیه نظری و برآورد پیچیدگی روش تودیک.
ردیابی عبور فریم ها در مدل اترنت سوئیچ شده.

LAP LAMBERT Academic Publishing, 2013.- 292 p. ISBN 978-3-659-42228-7 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 co-
operating 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; the method was applied for the
proof of invariance of Petri net model of Ethernet network with the common bus
topology. Methods of construction of models of telecommunication systems by a
composition of models of components and estimations of functional characteristics of
models were developed; switched Ethernet, label switching network MPLS and wireless
network Bluetooth were investigated. Table of contents: Tasks of processes modeling in telecommunication systems and networks.
Verification of networking protocols.
Estimation of efficiency of telecommunication systems and networks.
Simulation modeling of telecommunication systems.
Modeling telecommunication systems by Petri nets.
Verification of protocols by means of Petri net models.
Colored Petri nets as means of simulation modeling of telecommunication systems.
Decomposition and reduction of Petri nets.
Solution of systems of linear Diophantine equations. Functional Petri nets.
Basic concepts and definitions.
Properties of functional subnets.
Methods of Petri net decomposition into functional subnets.
Transfer function of Petri net.
Synthesis of continuous logic functions given in tabular form.
Efficient implementation of algorithm of decomposition into functional subnets. Clans of systems of linear algebraic equations.
Algebraic methods of Petri nets analysis.
Clans of linear systems as a generalization of functional Petri nets.
Composition of clans of linear systems.
Sequential composition of clans of linear systems.
Optimal collapse of a weighted graph.
Algorithms of compositional solution of systems of linear algebraic equations. Synthesis of Petri net models and verification of networking protocols.
Petri net as a uniform language of protocols specification.
Building Petri net model of protocol BGP.
Building Petri net model of protocol TCP.
Verification of protocol BGP.
Verification of protocol TCP.
Methods of synthesis of Petri net models of protocols.
Synthesis of Petri net model and verification of the electronic commerce protocol IOTP.
Verification of protocols with unlimited number of interacting devices.
Protocols of Ethernet with architecture of the common bus.
Model of Ethernet with architecture of the common bus.
Calculation of invariants in the parametric form. Performance evaluation of networks by colored Petri nets.
Models of switched Ethernet networks.
Model of a local area network.
Model of switch.
Models of workstation and server.
Parameters of the model.
Method of measuring fragments.
Models of networks with labels switching MPLS.
Overview of labels switching technology MPLS.
Model of IP router.
Model of MPLS router.
Model of the European Internet backbone.
Models of terminal networks.
Comparative estimation of IP routing and MPLS.
Models of Bluetooth networks.
Bluetooth technology overview.
Model of slave device.
Model of master device.
Models of piconets.
Estimation of efficiency of address space usage.
Measurement of characteristics of real-life networks. Verification of protocol ECMA.
Theoretical justification and estimations of complexity of Toudic method.
Tracing frames’ passage within the model of switched Ethernet.