دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: نویسندگان: Eike Best, Raymond Devillers, Maciej Koutny سری: Monographs in Theoretical Computer Science. An EATCS Series ISBN (شابک) : 9783642086779, 9783662044575 ناشر: Springer سال نشر: 2001 تعداد صفحات: 388 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
کلمات کلیدی مربوط به کتاب جبر خالص پتری: منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، جبر
در صورت تبدیل فایل کتاب Petri Net Algebra به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر خالص پتری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب توسعه گام به گام یک چارچوب دقیق را برای مشخصات و
تأیید سیستمهای همزمان ارائه میکند. جبر شبکه پتری الهام
گرفته و روشهای خود را از جبر فرآیندی و شبکههای پتری، دو
شاخه برجسته نظریه همزمانی، گرفته است. مزیت هم افزایی افزوده
شده از ترکیب مزایای مربوطه آنها به دست می آید.
شبکه های پتری به عنوان اجسام قابل ترکیب تلقی می شوند و به این
ترتیب در جبر فرآیند کلی جاسازی می شوند. از سوی دیگر، یک جبر
فرآیند عمومی یک معناشناسی شبکه پتری خودکار داده میشود تا
تکنیکهای راستیآزمایی مبتنی بر شبکه، بر اساس متغیرهای
ساختاری و نظمهای جزئی علی، در جبر فرآیند اعمال شوند. در
نهایت، این تئوری برای یک زبان برنامه نویسی همزمان واقع
گرایانه اعمال می شود.
کتاب حاوی شواهد کامل، نمونه هایی با دقت انتخاب شده و چندین
جهت ممکن برای تحقیقات بیشتر است. مستقل است و فقط آشنایی با
ریاضیات گسسته اولیه را فرض می کند. یک جنبه منحصر به فرد این
است که توسعه جبر شبکه پتری به گونه ای انجام می شود که امکان
افزودن و اصلاحات بیشتر برنامه محور را فراهم می کند.
This book presents a step-by-step development of a rigorous
framework for the specification and verification of
concurrent systems. Petri Net Algebra takes its inspiration
and methods from Process Algebra and Petri Nets, two
prominent branches of concurrency theory. Added synergistic
benefit is derived from combining their respective
advantages.
Petri nets are treated as composable objects, and as such
they are embedded in a general process algebra. On the other
hand, a generic process algebra is given an automatic Petri
net semantics so that net-based verification techniques,
based on structural invariants and causal partial orders, can
be applied to the process algebra. Finally, the theory is
applied to a realistic concurrent programming language.
The book contains full proofs, carefully chosen examples and
several possible directions for further research. It is
self-contained and supposes only acquaintance with basic
discrete mathematics. A unique aspect is that the development
of the Petri net algebra is handled so as to allow for
further application-oriented extensions and modifications.
Front Matter....Pages I-XI
Introduction....Pages 1-5
The Petri Box Calculus....Pages 7-28
Syntax and Operational Semantics....Pages 29-71
Petri Net Semantics....Pages 73-132
Adding Recursion....Pages 133-172
S-invariants....Pages 173-226
The Box Algebra....Pages 227-294
PBC and Other Process Algebras....Pages 295-312
A Concurrent Programming Language....Pages 313-348
Conclusion....Pages 349-350
Back Matter....Pages 351-380