دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981
دانلود کتاب کاربرد و نظریه شبکه های پتری: مقالات برگزیده از اولین و دومین کارگاه اروپایی در کاربرد و نظریه شبکه های پتری استراسبورگ، 23.-26. سپتامبر 1980 Bad Honnef, 28.-30. سپتامبر 1981
مشخصات کتاب
Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981
ویرایش: 1 نویسندگان: G. Roucairol (auth.), Claude Girault, Wolfgang Reisig (eds.) سری: Informatik-Fachberichte 52 ISBN (شابک) : 9783540111894, 9783642683534 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1982 تعداد صفحات: 349 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب کاربرد و نظریه شبکه های پتری: مقالات برگزیده از اولین و دومین کارگاه اروپایی در کاربرد و نظریه شبکه های پتری استراسبورگ، 23.-26. سپتامبر 1980 Bad Honnef, 28.-30. سپتامبر 1981: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه شبکه های پتری: مقالات برگزیده از اولین و دومین کارگاه اروپایی در کاربرد و نظریه شبکه های پتری استراسبورگ، 23.-26. سپتامبر 1980 Bad Honnef, 28.-30. سپتامبر 1981 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربرد و نظریه شبکه های پتری: مقالات برگزیده از اولین و دومین کارگاه اروپایی در کاربرد و نظریه شبکه های پتری استراسبورگ، 23.-26. سپتامبر 1980 Bad Honnef, 28.-30. سپتامبر 1981
این جلد پیشرفت کاربرد و تئوری شبکه‌های پتری را از دوره پیشرفته نظریه شبکه عمومی فرآیندها و سیستم‌ها، که در هامبورگ، 8 تا 19 اکتبر 1979 برگزار شد، مستند می‌کند. در این زمینه از اولین مطالعات سیستم های همزمان در 20 سال پیش، پس از این دوره، ایجاد همکاری بین گروه های مختلف که در زمینه پتری N ets کار می کنند، ارزشمند به نظر می رسید، نقطه شروع AFCET با علاقه ویژه گروه "سیستم ها" بود. Paralleles et Distribues\" و Gl Special Interest Group \"Petrinetze und verwandte Systemmodelle\"، در همین حال، گروه های بسیاری از کشورهای اروپایی درگیر هستند، فعالیت اصلی این همکاری، برگزاری کارگاه های آموزشی در کشورهای مختلف اروپایی است. اولین کارگاه از این نوع در استراسبورگ (فرانسه)، 23-26 سپتامبر 1980 برگزار شد، دومین کارگاه در Bad Honnef (آلمان) 28-30 سپتامبر 1981 برگزار شد. این جلد شامل مشارکت های این دو کارگاه، The 1980 است. کارگاه آموزشی در استراسبورگ به 6 موضوع تقسیم شده است: (1) کاربرد شبکه ها در سیستم های بلادرنگ، (2) زبان های برنامه نویسی و مهندسی نرم افزار، (3) جریان اطلاعات و همزمانی، (4) مورفیسم های شبکه و شبکه های پتری سطح بالا، (5) تجزیه و تحلیل ریاضی و زبان‌های N et، (6) مسائل مربوط به قابلیت اطمینان و بازیابی، در این جلد، رئیس هر مبحث مقدمه‌ای کوتاه درباره حوزه خود ارائه می‌کند که باید به درک مشکلات خاص آن و معرفی مقالات ارائه شده کمک کند. >
توضیحاتی درمورد کتاب به خارجی
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,
فهرست مطالب
Front Matter....Pages I-IX
Front Matter....Pages N1-N1
Overview on Topic 1: Application of Nets to Real-Time Systems....Pages 1-2
Petri Net Modelling and Reliability of Distributed Algorithms....Pages 3-10
Using Petri-Nets in Measurement of a Distributed Data Base System....Pages 11-22
On the Problem of Time in Nets....Pages 23-30
Overview on Topic 2: Programming Languages and Software Engineering....Pages 31-31
Transforming nets along the syntactic production of programs....Pages 32-37
Design-Review by Petri-Nets....Pages 38-44
Concurrency in Functional Descriptions....Pages 45-49
RNL — A Language for Digital Systems Design Based on Nets....Pages 50-55
Galileo : A Methodology for Modelling and Designing Real Time Systems....Pages 56-63
Petri Nets and Semantics of System Descriptions....Pages 64-71
Overview on Topic 3: Information Flow and Concurrency....Pages 72-73
The Relationship Between Time and Information....Pages 74-81
Information Flow in Nets....Pages 82-87
An Exercise in Processes with Infinite Pasts....Pages 88-95
Two Alternative Definitions of Synchronic Distance....Pages 96-103
On the Construction of System Nets....Pages 104-108
Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations....Pages 109-110
Net Morphisms and Software Engineering....Pages 111-117
An Equivalence-Notion For Condition/Event-Systems....Pages 118-124
Front Matter....Pages N1-N1
Recursive Nets....Pages 125-130
Behaviour of a Place-Transition Net on a Subset of Transitions....Pages 131-135
Stepwise Refinements of Transitions and Places....Pages 136-141
Transfer of graph constructs in Goguen’s paper to net constructs....Pages 142-150
Structural Modifications in Net Theory....Pages 151-153
Overview on Topic 5: Mathematical Analysis and Net Languages....Pages 154-160
Interactive Methods for the Analysis of Petri Nets....Pages 161-167
Inductive Assertions for Analyzing Reachability Sets....Pages 168-171
Leakage Notion....Pages 172-177
Graph-Theoretical Analysis of A Subclass of Petri-Nets....Pages 178-182
Synthesis of Concurrent Systems....Pages 183-186
Subclasses of Self-Modifying Nets....Pages 187-192
Test on Zero in Petri Nets....Pages 193-197
Deterministic Languages of Petri Nets....Pages 198-202
A Study of the Projection Operation....Pages 203-207
Overview on Topic 6: Reliability and Recovery Issues....Pages 208-211
Petri-Net Implementation of Recovery Strategies in a Large ESS....Pages 212-221
Petri Nets and Reliable Real-Time Systems....Pages 222-227
Towards Fault-Tolerant Real-Time Systems by Using Petri Nets....Pages 228-233
Treatment of recovery problems using cuts in Occurrence Nets....Pages 234-239
Front Matter....Pages 240-240
Use of the Behaviour Equivalence in Place-Transition Net Analysis....Pages 241-250
Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets....Pages 251-257
On the Logic of Concurrency and Conflict....Pages 258-268
Superposed Automata Nets....Pages 269-279
Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol....Pages 280-288
Weighted Synchronic Distances....Pages 289-300
A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net....Pages 301-310
Constructive Proofs as Programs Executable by PrT Nets....Pages 311-322
Correctness Proof for the Alternating Bit Protocol by Assertion Systems....Pages 323-326
A Fair Competition Between Two or More Partners....Pages 327-337
