دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: C. A. Petri (auth.), Anastasia Pagnoni, Grzegorz Rozenberg (eds.) سری: Informatik-Fachberichte 66 ISBN (شابک) : 9783540123095, 9783642690280 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1983 تعداد صفحات: 322 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
کلمات کلیدی مربوط به کتاب برنامه ها و تئوری شبکه های پتری: مقالاتی منتخب از سومین کارگاه آموزشی اروپا در زمینه کاربردها و نظریه پتری نت ها وارنا ، ایتالیا ، 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) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ها و تئوری شبکه های پتری: مقالاتی منتخب از سومین کارگاه آموزشی اروپا در زمینه کاربردها و نظریه پتری نت ها وارنا ، ایتالیا ، 27 تا 30 سپتامبر 1982 (تحت نظارت AFCET ، AICA ، GI و EATCS) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد منتخبی از مقالات ارائه شده در سومین کارگاه اروپایی در کاربردها و نظریه شبکه های پتری را ارائه می دهد که در ویلا موناسترو، وارنا (ایتالیا) در دوره 27 سپتامبر تا 30 سپتامبر 1982 برگزار شد. موضوعات عبارتند از: شبکه ها و مدل های مرتبط، تجزیه و تحلیل ریاضی شبکه ها، تبدیل ها و مورفیسم شبکه ها، زبان ها و شبکه های رسمی، تایید برنامه موازی و شبکه ها، مشکل زمان در شبکه ها، زبان های برنامه نویسی مبتنی بر شبکه، برنامه های کاربردی در سیستم های توزیع شده، برنامه های کاربردی به سیستم های بلادرنگ، مهندسی نرم افزار، طراحی سخت افزار و پیاده سازی آن، مشکلات بازیابی، شبکه ها و معناشناسی رسمی؛ ابزارهای شبکه تنوع موضوعات در این فهرست گواه این واقعیت است که محققان از حوزه های بسیار متفاوت مشارکت های خود را ارائه کرده و در مورد مسائل مختلف پژوهشی در طول کارگاه بحث می کنند. این تعامل دانشمندان که از دیدگاه های بسیار متفاوت به ناحیه شبکه های پتری نگاه می کنند، این سری کارگاه ها را جالب و ارزشمند می کند. این جلد، پیشرفت تحقیق در مورد شبکههای پتری را در طول یک سال از دومین کارگاه اروپایی که در Bad Honnef در سال 1981 برگزار شد، مستند میکند. ما فکر میکنیم که این واقعاً پیشرفت قابلتوجهی بود. این مشاهدات حتی خوشایندتر است اگر متوجه شویم که در طول کارگاه آموزشی در وارنا، ما 20 سال «وجود» شبکه های پتری را جشن گرفته ایم (کار اصلی پروفسور سی. ای. پتری دقیقا 20 سال پیش ظاهر شد). ما بسیار مفتخریم که آدرس دعوت شده توسط پروفسور را ارائه دهیم. سی.ای. پتری در این جلد.
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.
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