دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency XII
دانلود کتاب معاملات شبکه های پتری و دیگر مدل های همپوشانی XII
مشخصات کتاب
Transactions on Petri Nets and Other Models of Concurrency XII
ویرایش: 1 نویسندگان: Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.) سری: Transactions on Petri Nets and Other Models of Concurrency 10470 ISBN (شابک) : 9783662558614, 9783662558621 ناشر: Springer-Verlag سال نشر: 2017 تعداد صفحات: 230 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب معاملات شبکه های پتری و دیگر مدل های همپوشانی XII: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Transactions on Petri Nets and Other Models of Concurrency XII به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات شبکه های پتری و دیگر مدل های همپوشانی XII نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معاملات شبکه های پتری و دیگر مدل های همپوشانی XII
دوازدهمین جلد ToPNoC شامل نسخه های اصلاح شده و توسعه یافته گزیده ای از بهترین مقالات کارگاهی ارائه شده در سی و هفتمین کنفرانس بین المللی کاربرد و نظریه شبکه های پتری و همزمانی، شبکه های پتری 2016 و شانزدهمین کنفرانس بین المللی در مورد کاربرد همزمانی در طراحی سیستم، ACSD 2016. همچنین حاوی یک مقاله است که مستقیماً به ToPNoC ارسال شده است.
این 9 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب را پوشش می‌دهند. کار اساسی بر روی کلاس های خاص شبکه های پتری؛ و کاربردهای نوآورانه شبکه های پتری و سایر مدل های همزمانی. حوزه های کاربردی تحت پوشش این جلد عبارتند از: امنیت، ترکیب سرویس، پایگاه های داده، پروتکل های ارتباطی، فرآیندهای تجاری و سیستم های توزیع شده. بنابراین، این جلد نمای کلی خوبی از تحقیقات جاری در مورد سیستم‌های همزمان و شبکه‌های پتری ارائه می‌دهد.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
