دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
دانلود کتاب شبکه های پتری: تکنیک مدل سازی ، روش های تجزیه و تحلیل ، مطالعات موردی
مشخصات کتاب
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
ویرایش: 1
نویسندگان: Wolfgang Reisig (auth.)
سری:
ISBN (شابک) : 9783834812902, 9783834897084
ناشر: Vieweg+Teubner Verlag
سال نشر: 2010
تعداد صفحات: 251
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 29 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب شبکه های پتری: تکنیک مدل سازی ، روش های تجزیه و تحلیل ، مطالعات موردی: تئوری محاسبات، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب شبکه های پتری: تکنیک مدل سازی ، روش های تجزیه و تحلیل ، مطالعات موردی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب شبکه های پتری: تکنیک مدل سازی ، روش های تجزیه و تحلیل ، مطالعات موردی
شبکه های پتری خود را به عنوان یک تکنیک مدل سازی برای سیستم
های مبتنی بر فناوری اطلاعات معرفی کرده اند. نمایش گرافیکی
واضح آن، همراه با تکنیک‌های تحلیل بیانی، آن را در بین
کاربران، دانشجویان و مدرسان محبوب می‌کند.
محتوا بسیار واضح ارائه شده است. استدلال های رسمی فقط برای
تحلیل و تأیید دقیق استفاده می شوند. هر موضوع در هسته خود
پرداخته می شود. برای انواع، اضافات و جایگزین ها، به ادبیات
اشاره شده است. اطلاعات بیشتر، راه‌حل‌های تمرین‌ها، انجمن‌های
گفتگو و غیره به شکل دیجیتال موجود است.
مطالب
مفاهیم اولیه و مثال‌های ساده برای مبتدیان - ارتباطات عمیق‌تر
برای دانش‌آموزان - مطالعات موردی و تحلیل‌های نمونه برای
تمرین‌کنندگان - موضوعات و وظایف قابل تفکیک برای مدرسان -
استدلال های بیشتر برای کارشناسان سایر تکنیک های مدل
سازی
گروه هدف
دانشجویان علوم کامپیوتر در دانشگاه ها و دانشکده های فنی
نویسنده
پروفسور Dr. ولفگانگ ریسیگ، دانشگاه هومبولت برلین
توضیحاتی درمورد کتاب به خارجی
Petrinetze haben sich als Modellierungstechnik für
informatikbasierte Systeme durchgesetzt. Ihre anschauliche
grafische Darstellung, kombiniert mit ausdrucksstarken
Analysetechniken, machen sie bei Anwendern, Studierenden und
Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum
präzisen Analysieren und Verifizieren wird formal
argumentiert. Jedes Thema wird in seinem Kern behandelt; für
Varianten, Zusätze und Alternativen wird auf die Literatur
verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben,
Diskussionsforen etc. stehen in digitaler Form bereit.
Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger -
Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte
Fallstudien und Analysen für Praktiker - Separierbare Themen
und Aufgaben für Dozenten - Weiterführende Argumente für
Experten anderer Modellierungstechniken
Zielgruppe
Studierende der Informatik an Universitäten und
Fachhochschulen
Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
فهرست مطالب
Front Matter....Pages I-XVI
Einleitung....Pages 1-6
Front Matter....Pages 7-7
Ein Beispiel....Pages 9-20
Die grundlegenden Konzepte....Pages 21-34
Häufiger Spezialfall: Elementare Systemnetze....Pages 35-45
Sequentielle und verteilte Abläufe....Pages 47-64
Szenarienbasierte Systemnetze....Pages 65-71
Zusätzliche Ausdrucksmittel für elementare Systemnetze....Pages 73-80
Das Syntheseproblem....Pages 81-90
Komposition von Netzen....Pages 91-98
Front Matter....Pages 99-99
Zustandseigenschaften....Pages 101-116
Fallen und Co-Fallen elementarer Systemnetze....Pages 117-121
Platzinvarianten elementarer Systemnetze....Pages 123-130
Die Kombination von Fallen und Platzinvarianten elementarer Systemnetze....Pages 131-137
Fallen und Platzinvarianten allgemeiner Systemnetze....Pages 139-150
Markierungs- und Überdeckungsgraphen....Pages 151-160
Erreichbarkeit in elementaren Systemnetzen....Pages 161-166
Ablaufeigenschaften....Pages 167-177
Analyse der Free-Choice-Netze....Pages 179-184
Analyse der markierten Graphen....Pages 185-189
Wohlgeformte Systemnetze....Pages 191-194
Front Matter....Pages 195-195
Wechselseitiger Ausschluss....Pages 197-207
Asynchrone Hardware....Pages 209-216
Netzwerk-Algorithmen....Pages 217-230
Front Matter....Pages 231-231
Schlussbetrachtungen....Pages 233-238
Back Matter....Pages 231-246
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The wireless past : Anglo-Irish writers and the BBC, 1931-1968
دانلود کتاب Autism Spectrum Disorder and Alzheimer's Disease: Advances in Research
دانلود کتاب Gasturbinen Handbuch
