دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency XIII
دانلود کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی سیزدهم
مشخصات کتاب
Transactions on Petri Nets and Other Models of Concurrency XIII
ویرایش: [1st ed.] نویسندگان: Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek سری: Lecture Notes in Computer Science 11090 ISBN (شابک) : 9783662583807, 9783662583814 ناشر: Springer Berlin Heidelberg سال نشر: 2018 تعداد صفحات: XVII, 211 [225] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Transactions on Petri Nets and Other Models of Concurrency XIII به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی سیزدهم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی سیزدهم
جلد سیزدهم ToPNoC شامل نسخه های اصلاح شده و توسعه یافته گزیده ای از بهترین مقالات کارگاهی ارائه شده در سی و هشتمین کنفرانس بین المللی کاربرد و نظریه شبکه های پتری و همزمانی، شبکه های پتری 2017 و هفدهمین کنفرانس بین المللی در مورد کاربرد همزمانی در طراحی سیستم، ACSD 2017.
9 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب را پوشش می‌دهند. کار اساسی بر روی کلاس های خاص شبکه های پتری؛ و کاربردهای نوآورانه شبکه های پتری و سایر مدل های همزمانی. حوزه های کاربردی تحت پوشش این جلد عبارتند از: تحمل خطا، ترکیب سرویس، پایگاه های داده، پروتکل های ارتباطی، فرآیندهای تجاری و سیستم های توزیع شده. بنابراین، این جلد نمای کلی خوبی از تحقیقات جاری در مورد سیستم‌های همزمان و شبکه‌های پتری ارائه می‌دهد.
توضیحاتی درمورد کتاب به خارجی
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.
The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: fault-tolerance, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
فهرست مطالب
Front Matter ....Pages I-XVII
Computing Alignments of Event Data and Process Models (Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen)....Pages 1-26
Heuristic Mining Approaches for High-Utility Local Process Models (Benjamin Dalmas, Niek Tax, Sylvie Norre)....Pages 27-51
On Stability of Regional Orthomodular Posets (Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel)....Pages 52-72
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms (Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew Miner)....Pages 73-92
Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets (Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz)....Pages 93-115
Complexity Aspects of Web Services Composition (Karima Ennaoui, Lhouari Nourine, Farouk Toumani)....Pages 116-135
GPU Computations and Memory Access Model Based on Petri Nets (Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski)....Pages 136-157
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems (Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz)....Pages 158-180
MCC’2017 – The Seventh Model Checking Contest (Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard et al.)....Pages 181-209
Back Matter ....Pages 211-211
نظرات کاربران
کتاب های تصادفی
دانلود کتاب ALBANIA - Assambly of European Captive Nations
دانلود کتاب Ostia in Late Antiquity
