مشخصات کتاب

Analyse von Petri-Netz-Modellen

ویرایش: 1 
نویسندگان: Prof. Dr. rer. nat. habil. Peter H. Starke (auth.)  
سری: Leitfäden und Monographien der Informatik 
ISBN (شابک) : 9783519022442, 9783663092629 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1990 
تعداد صفحات: 253 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

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

در صورت تبدیل فایل کتاب Analyse von Petri-Netz-Modellen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

من این کتاب را برای دانشمندان کامپیوتر، مهندسان و ریاضیدانانی نوشتم که با مدلسازی و تحلیل سیستم های پیچیده مبتنی بر شبکه های Petrl سر و کار دارند یا به آنها علاقه مند هستند. بنابراین من فقط به طور خلاصه به سراغ ساخت مدل فردی می روم، نه فقط به این دلیل که یک زمینه جهانی را حل می کند که در آن هرکس باید تجربیات خود را بسازد. اما برای پیش نویس سیستم با شبکه ها و به ویژه برای استفاده از شبکه های پترل در فناوری کنترل که قبلاً در کاتالوگ های کتاب منتشر شده است خوب است. هدف اصلی این کتاب تحلیل مدل های شبکه است. هرکسی که نه از طریق آموزش، بلکه از طریق الزامات عملی کار روزانه خود با شبکه های Petrl دوست شده است، ابتدا از شبکه ها به عنوان زبان توصیف یعنی ایجاد مدل ها استفاده می کند و در مرحله بعدی شبیه سازی جریان را انجام می دهد. Mlt. با استفاده از شبیه سازی می توان خطاها را در طراحی یا سیستم مدل شده ردیابی کرد و علل آنها را تعیین کرد یا حداقل آنها را محدود کرد، به خصوص اگر آزمایش های شبیه سازی به خوبی فکر شده باشند. با این حال، شبیه سازی نمی تواند ثابت کند که سیستم بدون خطا است، این تنها از طریق تجزیه و تحلیل امکان پذیر است. به منظور ایجاد و انجام تجزیه و تحلیل یک مدل شبکه، دانش نظری مورد نیاز است که امکان استفاده از ابزارهای کامپیوتری برای تجزیه و تحلیل شبکه و تفسیر صحیح نتایج را ممکن می سازد. من سعی دارم این دانش را در این کتاب منتقل کنم و امیدوارم تجربیاتم در ساخت چنین بسته های برنامه ای در آینده "به تعویق بیفتد".

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

Dleses Buch habe lch fOr Informatlker, Ingenleure und Mathematlker geschrleben, dle slch mit der Modelllerung und Analyse von komplexen Systemen auf der Grundlage von Petrl-Netzen beschAftlgen oder slch dafOr lnteressieren. Dabel gehe ich auf dle elgentllche Modellblldung nur kurz eln, nlcht nur well dles eln weltes Feld lst, ln dem jeder seine elgenen Erfahrungen machen mu~. sondern well ror den Systementwurf mit Netzen und speziell fUr dle Anwendung von Petrl-Netzen ln der Steuerungstechnlk berelts Buchpubllkatlonen vorllegen. Hauptanllegen dleses Buches lst dle Analyse von Netzmodellen. Wer nlcht iiber dle Ausblldung sondern Ober dle praktlschen BedOrfnlsse selner t'glichen Arbelt mit Petrl-Netzen Freundschaft geschlossen hat, wlrd Netze melst zunAchst als Beschrelbungssprache, also zur Modellblldung angewendet und als nAchsten Schrltt Ablaufslmulatlonen durchgefOhrt haben. Mlt. tels Slmulatlon kann man, lnsbesondere bel durchdachter Anlage der Slmulatlonsexperimente, Fehler lm Entwurf bzw. lm modelllerten System aufspiiren und lhre Ursachen feststellen oder wenlgstens elngrenzen. Man kann aber durch Slmulatlon die Fehlerfrelhelt des Systems nlcht bewelsen, das lst nur durch Analyse mogllch. Um elne Analyse elnes Netzmodells anzulegen und durchzufilhren, slnd theoretlsche Kenntnlsse erforderllch, dle es ermogllchen, rechnergestOtzte Werkzeuge bel der Netzanalyse slnnvoll elnzusetzen und dle Resultate rlchtlg zu lnterpretleren. Dlese Kenntnlsse versuche lch in dlesem Buch zu vermltteln und hoffe, da~ melne Erfahrungen beim Aufbau solcher Programmpakete dabel posltlv "zu Buche" schlagen.

فهرست مطالب

Front Matter....Pages 1-12
Modellierung mit Petri-Netzen....Pages 13-20
Grundbegriffe....Pages 21-29
Nebenläufigkeit und Konflikt....Pages 30-37
Beschränktheit....Pages 38-42
Überdeckbarkeit und Erreichbarkeit....Pages 43-53
Lebendigkeit....Pages 54-61
Äquivalente Markierungen....Pages 62-73
Sture Transitionen....Pages 74-82
Reduktion....Pages 83-96
Netztypen....Pages 97-109
Invarianten....Pages 110-122
Fairness....Pages 123-133
Synchronie....Pages 134-145
Struktureigenschaften....Pages 146-161
Die Deadlock-Falle-Eigenschaft....Pages 162-176
Dekomposition....Pages 177-191
Zeitbewertete Netze....Pages 192-196
Netze mit Schaltdauer....Pages 197-208
Zeit-Netze....Pages 209-221
Gefärbte Petri-Netze....Pages 222-235
Prädikat/Transitions-Netze....Pages 236-245
Werkzeuge....Pages 246-250
Back Matter....Pages 251-253

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Color atlas and text of pulmonary pathology

دانلود کتاب A Practical Approach to 16th Century Counterpoint

دانلود کتاب Science (Vol. 314, No. 5796, 6 October 2006)

دانلود کتاب Electromagnetic Waves for Thermonuclear Fusion Research

دانلود کتاب How to Care about Animals: An Ancient Guide to Creatures Great and Small