دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
دانلود کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هشتمین کنفرانس بین المللی، PETRI NETS 2017، ساراگوزا، اسپانیا، 25 تا 30 ژوئن 2017، مجموعه مقالات
مشخصات کتاب
Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
ویرایش: 1
نویسندگان: Wil van der Aalst. Eike Best (eds.)
سری: Lecture Notes in Computer Science 10258
ISBN (شابک) : 9783319578613, 9783319578606
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 353
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 25 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هشتمین کنفرانس بین المللی، PETRI NETS 2017، ساراگوزا، اسپانیا، 25 تا 30 ژوئن 2017، مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، شبیه سازی و مدل سازی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هشتمین کنفرانس بین المللی، PETRI NETS 2017، ساراگوزا، اسپانیا، 25 تا 30 ژوئن 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هشتمین کنفرانس بین المللی، PETRI NETS 2017، ساراگوزا، اسپانیا، 25 تا 30 ژوئن 2017، مجموعه مقالات
این کتاب مجموعه مقالات سی و هشتمین کنفرانس بین‌المللی کاربرد و تئوری شبکه‌های پتری و همزمانی، PETRI NETS 2017، در ساراگوزا، اسپانیا، در ژوئن 2017 است. کنفرانس Concurrency to System Design، ACSD 2017.
16 مقاله، 9 مقاله تئوری، 4 مقاله کاربردی، و 3 مقاله ابزار، به همراه 1 چکیده کوتاه و 3 چکیده مبسوط از سخنرانی های دعوت شده با هم در این جلد ارائه شده است. از بین 33 مورد ارسالی به دقت بررسی و انتخاب شدند. تمرکز کنفرانس بر روی موضوعات زیر است: شبیه‌سازی شبکه‌های پتری رنگی، ابزار شبکه پتری.- بررسی مدل، زنده بودن و شفافیت، شبکه‌های پتری تصادفی، کلاس‌های شبکه خاص، و شبکه‌های پتری برای مسیرها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
فهرست مطالب
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
The Alignment of Formal, Structured and Unstructured Process Descriptions....Pages 3-11
Complexity Made Simple (at a Small Price)....Pages 12-18
Resource Equivalences in Petri Nets....Pages 19-34
Front Matter....Pages 35-35
Faster Simulation of (Coloured) Petri Nets Using Parallel Computing....Pages 37-56
Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem....Pages 57-77
Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra....Pages 78-98
Front Matter....Pages 99-99
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States....Pages 101-111
An Integrated Environment for Petri Net Slicing....Pages 112-124
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools....Pages 125-135
Front Matter....Pages 137-137
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation....Pages 139-158
Model Checking Concurrency and Causality....Pages 159-178
Front Matter....Pages 179-179
Weak Observable Liveness and Infinite Games on Finite Graphs....Pages 181-199
The Complexity of Diagnosability and Opacity Verification for Petri Nets....Pages 200-220
Front Matter....Pages 221-221
Getting the Priorities Right: Saturation for Prioritised Petri Nets....Pages 223-242
Modelling and Evaluation of a Control Room Application....Pages 243-263
Front Matter....Pages 265-265
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets....Pages 267-287
Restricting Hornets to Support Self-adaptive Systems....Pages 288-306
Front Matter....Pages 307-307
Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets....Pages 309-329
Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets....Pages 330-349
Back Matter....Pages 351-351
