ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Petri Net Algebra

دانلود کتاب جبر خالص پتری

Petri Net Algebra

مشخصات کتاب

Petri Net Algebra

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: , ,   
سری: Monographs in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783642086779, 9783662044575 
ناشر: Springer 
سال نشر: 2001 
تعداد صفحات: 388 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

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



کلمات کلیدی مربوط به کتاب جبر خالص پتری: منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار، دستکاری نمادین و جبری، ریاضیات گسسته در علوم کامپیوتر، جبر



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب 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




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