توضیحات
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.
————————————————————–
ترجمه ماشینی :
این کتاب اطلاعات اساسی در مورد نظریه شبکه پتری و روش های بررسی مدل مبتنی بر شبکه پتری ارائه می دهد. در مورد نظریه شبکه پتری، این نظریه شامل معناشناسی و معنای همزمانی سیستم های شبکه ابتدایی، برخی ساختارهای شبکه مهم (مانند، ثابت، بردار تکراری، سیفون و تله)، برخی از زیر کلاس های شبکه کلاسیک با ساختارهای خاص (مثلاً ماشین حالت) است. ، نمودار مشخص شده، شبکه انتخاب آزاد، شبکه انتخاب نامتقارن، شبکه معمولی، و شبکه ضعیف پایدار)، و برخی ویژگی های اساسی (مانند دسترسی، سرزنده بودن، بن بست، و سالم بودن). همچنین شامل چهار شبکه پتری سطح بالا است: شبکههای پتری دانشمحور، شبکههای پتری با مکانهای ناامن، شبکههای پتری زمانی، و شبکههای پتری زمان ساده با اولویتها، با تمرکز بر زمینههای مختلف کاربرد. در مورد روشهای بررسی مدل، این کتاب خوانندگان را با منطق درخت محاسباتی (CTL)، منطق درخت محاسباتی دانش (CTLK) و منطق درخت محاسبات زماندار (TCTL) و همچنین روشهای مبتنی بر شبکه پتری برای بررسی آنها آشنا میکند. اصل اساسی نمودار تصمیم گیری باینری مرتب شده کاهش یافته (ROBDD) برای فشرده سازی فضای حالت مورد استفاده در این روش های بررسی مدل استفاده می شود. این کتاب همچنین صوت زمان برای شبکههای پتری زمان و شبیهسازی امن برای شبکههای پتری با مکانهای ناامن را پوشش میدهد، که هر دو بر اساس نظریه دوشبیهسازی هستند. به این ترتیب، مقدمه ای بر اطلاعات اولیه در مورد نظریه شبیه سازی دوگانه ارائه می دهد.
tag : دانلود کتاب شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان , Download شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان , دانلود شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان , Download Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems Book , شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان دانلود , buy شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان , خرید کتاب شبکه های پتری: مدل های نظری و روش های تحلیل برای سیستم های همزمان , دانلود کتاب Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems , کتاب Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems , دانلود Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems , خرید Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems , خرید کتاب Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.