ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Free choice Petri nets

دانلود کتاب تورهای پتری انتخاب آزاد

Free choice Petri nets

مشخصات کتاب

Free choice Petri nets

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: ,   
سری: Cambridge Tracts in Theoretical Computer Science 40 
ISBN (شابک) : 0521465192 
ناشر: Cambridge University Press 
سال نشر: 1995 
تعداد صفحات: 256 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Free choice Petri nets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

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


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

Petri nets are a popular and powerful model for analyzing and modeling concurrent systems, and a rich theory has developed around them. This book focuses on a particular class of Petri nets, free choice Petri nets, which plays a central role in the theory. The text is organized very clearly, with every notion carefully explained and every result proved. The authors give clear exposition of place invariants, siphons, traps and many other important analysis techniques. The book contains classical results of free-choice theory as well as more recent results. The material is organized along the lines of a course, and each chapter contains numerous exercises, making this text ideal for graduate students and research workers alike.



فهرست مطالب

1 Introduction......Page 10
1.1 Petri nets......Page 11
1.2 Free-choice Petri nets......Page 14
1.3 Properties......Page 17
1.4 Structure of the book......Page 18
2.1 Mathematical preliminaries......Page 22
2.2 Nets and their properties......Page 24
2.3 Systems and their properties......Page 33
2.4 S-invariants and T-invariants......Page 39
3.1 S-systems......Page 50
3.2 T-systems......Page 55
4.1 Free-choice systems......Page 72
4.2 Stable predicates: siphons and traps......Page 75
4.3 Commoner's Theorem......Page 78
4.4 The non-liveness problem is NP-complete......Page 89
4.5 Minimal siphons......Page 92
4.6 Liveness and deadlock-freedom......Page 94
5.1 The S-coverability Theorem......Page 98
5.2 Derived results......Page 104
5.3 The T-coverability Theorem......Page 108
5.4 Derived results......Page 116
6.1 Characterizations of well-formedness......Page 120
6.2 The non-well-formed case......Page 123
6.3 The well-formed case......Page 130
6.4 Derived results......Page 137
7 Reduction and synthesis......Page 144
7.1 Basic notions......Page 145
7.2 The reduction rules......Page 146
7.3 An example of reduction......Page 156
7.4 Completeness......Page 158
7.5 Synthesis rules......Page 170
8.1 Existence of home markings......Page 178
8.2 A characterization of the home markings......Page 183
8.3 Derived results......Page 192
9 Reachability and shortest sequences......Page 194
9.1 The Reachability Theorem......Page 195
9.2 The Shortest Sequence Theorem......Page 204
10.1 Asymmetric-choice nets......Page 216
10.2 A necessary condition for well-formedness......Page 219
10.3 A sufficient condition for well-formedness......Page 223
Index......Page 244
List of symbols......Page 250
List of main results......Page 252




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی