دانلود کتاب Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)
کتاب برنامه ها و تئوری شبکه های پتری: مقالاتی منتخب از سومین کارگاه آموزشی اروپا در زمینه کاربردها و نظریه پتری نت ها وارنا ، ایتالیا ، 27 تا 30 سپتامبر 1982 (تحت نظارت AFCET ، AICA ، GI و EATCS) نسخه زبان اصلی
دانلود کتاب برنامه ها و تئوری شبکه های پتری: مقالاتی منتخب از سومین کارگاه آموزشی اروپا در زمینه کاربردها و نظریه پتری نت ها وارنا ، ایتالیا ، 27 تا 30 سپتامبر 1982 (تحت نظارت AFCET ، AICA ، GI و EATCS) بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)
نام کتاب : Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه ها و تئوری شبکه های پتری: مقالاتی منتخب از سومین کارگاه آموزشی اروپا در زمینه کاربردها و نظریه پتری نت ها وارنا ، ایتالیا ، 27 تا 30 سپتامبر 1982 (تحت نظارت AFCET ، AICA ، GI و EATCS)
سری : Informatik-Fachberichte 66
نویسندگان : C. A. Petri (auth.), Anastasia Pagnoni, Grzegorz Rozenberg (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1983
تعداد صفحات : 322
ISBN (شابک) : 9783540123095 , 9783642690280
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد گزیده ای از مقالات ارائه شده در سومین کارگاه اروپایی در کاربردها و نظریه شبکه های پتری را ارائه می دهد که در ویلا موناسترو، وارنا (ایتالیا) در دوره 27 سپتامبر تا 30 سپتامبر 1982 برگزار شد. موضوعات شامل: شبکه ها و مدل های مرتبط، تجزیه و تحلیل ریاضی شبکه ها، تبدیل ها و شکل های شبکه ها، زبان ها و شبکه های رسمی، تایید برنامه موازی و شبکه ها، مشکل زمان در شبکه ها، زبان های برنامه نویسی مبتنی بر شبکه، برنامه های کاربردی در سیستم های توزیع شده، برنامه های کاربردی به سیستم های بلادرنگ، مهندسی نرم افزار، طراحی سخت افزار و پیاده سازی آن، مشکلات بازیابی، شبکه ها و معناشناسی رسمی؛ ابزارهای شبکه تنوع موضوعات در این فهرست گواه این واقعیت است که محققان از حوزه های بسیار متفاوت مشارکت های خود را ارائه کرده و در مورد مسائل پژوهشی مختلف در طول کارگاه بحث و گفتگو کردند. این تعامل دانشمندان که از نقطه نظرهای بسیار متفاوت به ناحیه شبکه های پتری نگاه می کنند، این سری کارگاه ها را جالب و ارزشمند می کند. این جلد، پیشرفت تحقیق در مورد شبکه‌های پتری را در طول یک سال از دومین کارگاه اروپایی که در Bad Honnef در سال 1981 برگزار شد، مستند می‌کند. ما فکر می‌کنیم که این واقعاً پیشرفت قابل‌توجهی بود. این مشاهدات حتی خوشایندتر است اگر متوجه شویم که در طول کارگاه آموزشی در وارنا، 20 سال «وجود» شبکه های پتری را جشن گرفته ایم (کار اصلی پروفسور سی.ا. پتری دقیقا 20 سال پیش ظاهر شد). ما بسیار مفتخریم که آدرس دعوت شده توسط پروفسور را ارائه دهیم. C.A. پتری در این جلد.
فهرست مطالب :
Front Matter....Pages N1-VI
Some Personal Views of Net Theory....Pages 1-13
Structural Transformations Giving B-Equivalent PT-Nets....Pages 14-28
Equivalence Notions for Concurrent Systems....Pages 29-39
Milner’s Communicating Systems and Petri Nets....Pages 40-59
A Matrix-Based Implementation of Generalized Petri Nets....Pages 60-73
Petri Nets Specification of Virtual Ring Protocols....Pages 74-85
A Note on D-Continuous Causal Nets....Pages 86-97
S-invariance in Predicate/Transition Nets....Pages 98-111
A Diagram Editor for Line Drawings with Inscriptions....Pages 112-131
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets....Pages 132-148
Notions of Computability by Petri Nets....Pages 149-165
High-Level Petri Nets....Pages 166-180
Specification and Verification of Networks in a Petri Net based Language....Pages 181-198
Construction of Distributed Systems from Cycle-Free Finite Automata....Pages 199-220
A Graph Theoretical Property for Minimal Deadlock....Pages 221-228
Petri Nets With Individual Tokens....Pages 229-249
Subset Languages of Petri Nets....Pages 250-263
Control of Flexible Production Systems and Petri Nets....Pages 264-277
On the Notion of Interface in Condition/Event-Systems....Pages 278-291
Behavioral Equivalence of Concurrent Systems....Pages 292-305
Back Matter....Pages 306-N2
توضیحاتی در مورد کتاب به زبان اصلی :
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.