برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Struktur und Analyse von Free-Choice-Petrinetzen

دانلود کتاب ساختار و تجزیه و تحلیل شبکه های پتری انتخاب آزاد

مشخصات کتاب

Struktur und Analyse von Free-Choice-Petrinetzen

دسته بندی: روانشناسی
ویرایش: 1 
نویسندگان: Jörg Desel (auth.)  
سری: DUV: Datenverarbeitung 
ISBN (شابک) : 9783824420308, 9783663145431 
ناشر: Deutscher Universitätsverlag 
سال نشر: 1992 
تعداد صفحات: 212 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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

کلمات کلیدی مربوط به کتاب ساختار و تجزیه و تحلیل شبکه های پتری انتخاب آزاد: علوم کامپیوتر، عمومی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 13

در صورت تبدیل فایل کتاب Struktur und Analyse von Free-Choice-Petrinetzen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساختار و تجزیه و تحلیل شبکه های پتری انتخاب آزاد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ساختار و تجزیه و تحلیل شبکه های پتری انتخاب آزاد

ساختار استاتیک یک شبکه پتری مشخص شده توسط خود تور و توزیع اولیه علائم نشان داده می شود. رفتار آن با مجموعه فرآیندهای آن یا نمودار دسترسی آن توصیف می شود. ساختار و رفتار ارتباط نزدیکی با هم دارند، بنابراین ویژگی‌های سیستم دینامیکی اغلب با کمک روش‌های ساختاری مانند بن‌بست‌ها یا S-Invariants قابل اثبات است. از سوی دیگر، روش‌های ساختاری معمولاً برای تجزیه و تحلیل خواص دینامیکی یک شبکه پتری مشخص شده کافی نیستند. اکثر خصوصیات دینامیکی - مانند دستیابی به یک علامت گذاری معین - قابل تصمیم گیری هستند، اما این مسائل تصمیم گیری دارای مرزهای پیچیدگی بسیار پایین تر هستند که حداقل با تلاش ساخت نمودار دسترسی مطابقت دارد. یک تحلیل کارآمد لزوماً بر اساس ساختار یک مش مشخص است. بنابراین فقط برای شبکه‌هایی که ویژگی‌های دینامیکی مربوطه با ویژگی‌های ساختاری مشخص می‌شوند امکان‌پذیر است. برای انتخاب آزاد-پتریندزه، یک توصیف متناظر از زنده بودن دارایی پویا توسط فرد کامونر (که در آن زمان دانشجوی MIT بود) در اوایل دهه 1970 ارائه شد: شبکه انتخاب آزاد اگر و تنها در صورتی زنده است که هر بن بست حاوی یک تله مشخص باشد. متأسفانه، این نتیجه امکان تجزیه و تحلیل زنده بودن کارآمد را نمی دهد، زیرا ثابت شده است که مشکل غیر زنده بودن برای شبکه های انتخاب آزاد NP-کامل است.

توضیحاتی درمورد کتاب به خارجی

Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese Entscheidungsprobleme sehr groBe untere Komplexitatsschranken, die wenig stens dem Konstruktionsaufwand des Erreichbarkeitsgraphen entsprechen. Eine effiziente Analyse basiert notwendigerweise auf der Struktur eines mar kierten Netzes. Sie ist also nur fur Netze moglich, deren relevante dynamische Eigenschaften durch strukturelle Eigenschaften charakterisiert werden. Fur Free-Choice-Petrindze wurde Anfang der 70er Jahren von Fred Commoner (damals ein Student am MIT) eine entsprechende Charakterisierung der dyna mischen Eigenschaft Lebendigkeit angegeben: ein Free-Choice-Netz ist genau dann lebendig, wenn jeder Deadlock einen markierten Trap enthiilt. Leider ermoglicht dieses Ergebnis aber keine effiziente Lebendigkeitsanalyse, denn das Nicht-Lebendigkeitsproblem fur Free-Choice-Netze wurde als NP-vollstandig nachgewiesen.

فهرست مطالب

Front Matter....Pages I-XII
Einleitung....Pages 1-12
Netze, Systeme und ihr Verhalten....Pages 13-54
EFC-Systeme....Pages 55-88
Lebendige beschränkte EFC-Systeme....Pages 89-116
Erreichbarkeit in zyklischen EFC-Systemen....Pages 117-154
Blockierungsfreie EFC-Systeme....Pages 155-184
Abschließende Bemerkungen....Pages 185-188
Back Matter....Pages 189-200