دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency XI
کتاب معاملات روی پتری نت ها و سایر مدل های همزمانی XI نسخه زبان اصلی
دانلود کتاب معاملات روی پتری نت ها و سایر مدل های همزمانی XI بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Transactions on Petri Nets and Other Models of Concurrency XI
نام کتاب : Transactions on Petri Nets and Other Models of Concurrency XI
ویرایش : 1
عنوان ترجمه شده به فارسی : معاملات روی پتری نت ها و سایر مدل های همزمانی XI
سری : Lecture Notes in Computer Science 9930
نویسندگان : Maciej Koutny, Jörg Desel, Jetty Kleijn (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2016
تعداد صفحات : 334
ISBN (شابک) : 9783662534014 , 9783662534007
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
جلد یازدهم ToPNoC شامل نسخه های اصلاح شده و توسعه یافته گزیده ای از بهترین مقالات کارگاهی است که در سی و ششمین کنفرانس بین المللی کاربرد و تئوری شبکه های پتری و همزمانی، شبکه های پتری 2015 و پانزدهمین کنفرانس بین المللی در مورد کاربرد همزمانی در طراحی سیستم، ACSD 2014. همچنین حاوی یک مقاله است که مستقیماً به ToPNoC ارسال شده است.
این 16 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب را پوشش می‌دهند. کار اساسی بر روی کلاس های خاص شبکه های پتری؛ و کاربردهای نوآورانه شبکه های پتری و سایر مدل های همزمانی. حوزه های کاربردی تحت پوشش این جلد عبارتند از: امنیت، ترکیب سرویس، پروتکل های ارتباطی، فرآیندهای تجاری، سیستم های توزیع شده و سیستم های چند عاملی. بنابراین، این جلد نمای کلی خوبی از تحقیقات جاری در مورد سیستم‌های همزمان و شبکه‌های پتری ارائه می‌دهد.
فهرست مطالب :
Front Matter....Pages I-XVIII
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification....Pages 1-27
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications....Pages 28-48
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets....Pages 49-70
Validating DCCP Simultaneous Feature Negotiation Procedure....Pages 71-91
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework....Pages 92-113
Mining Conditional Partial Order Graphs from Event Logs....Pages 114-136
Conditions for Petri Net Solvable Binary Words....Pages 137-159
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data....Pages 160-180
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms....Pages 181-202
Negotiations and Petri Nets....Pages 203-225
A Formal Framework for Diagnostic Analysis for Errors of Business Processes....Pages 226-261
MCC’2015 – The Fifth Model Checking Contest....Pages 262-273
Running LoLA 2.0 in a Model Checking Competition....Pages 274-285
MARCIE’s Secrets of Efficient Model Checking....Pages 286-296
A Symbolic Model Checker for Petri Nets: pnmc ....Pages 297-306
TAPAAL and Reachability Analysis of P/T Nets....Pages 307-318
Back Matter....Pages 319-319
توضیحاتی در مورد کتاب به زبان اصلی :
The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.
The 16 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, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.