دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency XII
کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی XII نسخه زبان اصلی
دانلود کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی XII بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Transactions on Petri Nets and Other Models of Concurrency XII
نام کتاب : Transactions on Petri Nets and Other Models of Concurrency XII
ویرایش : 1
عنوان ترجمه شده به فارسی : معاملات روی شبکه پتری و سایر مدل های همزمانی XII
سری : Transactions on Petri Nets and Other Models of Concurrency 10470
نویسندگان : Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)
ناشر : Springer-Verlag
سال نشر : 2017
تعداد صفحات : 230
ISBN (شابک) : 9783662558614 , 9783662558621
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
دوازدهمین جلد ToPNoC شامل نسخه های اصلاح شده و توسعه یافته گزیده ای از بهترین مقالات کارگاهی است که در سی و هفتمین کنفرانس بین المللی کاربرد و نظریه شبکه های پتری و همزمانی، شبکه های پتری 2016 و شانزدهمین کنفرانس بین المللی در مورد کاربرد همزمانی در طراحی سیستم، ACSD 2016. همچنین حاوی یک مقاله است که مستقیماً به ToPNoC ارسال شده است. 9 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب را پوشش می‌دهند. کار اساسی بر روی کلاس های خاص شبکه های پتری؛ و کاربردهای نوآورانه شبکه های پتری و سایر مدل های همزمانی. حوزه های کاربردی تحت پوشش این جلد عبارتند از: امنیت، ترکیب سرویس، پایگاه های داده، پروتکل های ارتباطی، فرآیندهای تجاری و سیستم های توزیع شده. بنابراین، این جلد نمای کلی خوبی از تحقیقات جاری در مورد سیستم‌های همزمان و شبکه‌های پتری ارائه می‌دهد.
فهرست مطالب :
Front Matter ....Pages I-XVII
Properties of Plain, Pure, and Safe Petri Nets (Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels)....Pages 1-18
Similarity-Based Approaches for Determining the Number of Trace Clusters in Process Discovery (Pieter De Koninck, Jochen De Weerdt)....Pages 19-42
Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions (Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller)....Pages 43-69
Formal Modelling and Analysis of Distributed Storage Systems (Jordan de la Houssaye, Franck Pommereau, Philippe Deniel)....Pages 70-90
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases (Marco Montali, Andrey Rivkin)....Pages 91-118
Transition Systems Reduction: Balancing Between Precision and Simplicity (Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova)....Pages 119-139
Stubborn Set Intuition Explained (Antti Valmari, Henri Hansen)....Pages 140-165
Decomposed Replay Using Hiding and Reduction as Abstraction (H. M. W. Verbeek)....Pages 166-186
Multiplicative Transition Systems (Józef Winkowski)....Pages 187-215
Back Matter ....Pages 217-217
توضیحاتی در مورد کتاب به زبان اصلی :
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.
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: security, 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.
پست ها تصادفی