دانلود کتاب Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هفتمین کنفرانس بین المللی، PETRI NETS 2016، تورون، لهستان، 19-24 ژوئن 2016. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و هفتمین کنفرانس بین المللی، PETRI NETS 2016، تورون، لهستان، 19-24 ژوئن 2016. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
نام کتاب : Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : کاربرد و نظریه شبکه های پتری و همزمانی: سی و هفتمین کنفرانس بین المللی، PETRI NETS 2016، تورون، لهستان، 19-24 ژوئن 2016. مجموعه مقالات
سری : Lecture Notes in Computer Science 9698
نویسندگان : Fabrice Kordon, Daniel Moldt (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 349
ISBN (شابک) : 9783319390857 , 9783319390864
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات سی و هفتمین کنفرانس بین‌المللی کاربرد و تئوری شبکه‌های پتری و همزمانی، PETRI NETS 2016، در تورون، لهستان، در ژوئن 2016 برگزار شد. کنفرانس Concurrency to System Design، ACSD 2016.
16 مقاله شامل 3 مقاله ابزار با 4 سخنرانی دعوت شده ارائه شده با هم در این جلد به دقت بررسی و از 42 مورد ارسالی انتخاب شدند.
مقالاتی که تحقیقات اصلی را در مورد کاربرد یا تئوری شبکه‌های پتری ارائه می‌کنند، و همچنین مشارکت‌هایی که به موضوعات مرتبط با حوزه کلی سیستم‌های توزیع‌شده و همزمان می‌پردازند، در این جلد ارائه شده‌اند.
فهرست مطالب :
Front Matter....Pages I-XVI
Front Matter....Pages 1-1
Reasoning About Discovery Clouds....Pages 3-10
Front Matter....Pages 11-11
From Actions, Transactions, and Processes to Services....Pages 13-19
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture....Pages 20-36
Front Matter....Pages 37-37
Characterising Petri Net Solvable Binary Words....Pages 39-58
The Power of Prime Cycles....Pages 59-78
Petri Net Synthesis for Restricted Classes of Nets....Pages 79-97
Front Matter....Pages 99-99
Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications....Pages 101-112
AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks....Pages 113-122
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research....Pages 123-132
Front Matter....Pages 133-133
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol....Pages 135-154
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics....Pages 155-175
ABCD: A User-Friendly Language for Formal Modelling and Analysis....Pages 176-195
Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets....Pages 196-215
Front Matter....Pages 217-217
Merging Alignments for Decomposed Replay....Pages 219-239
Anti-alignments in Conformance Checking – The Dark Side of Process Models....Pages 240-258
Front Matter....Pages 259-259
Probabilistic Time Petri Nets....Pages 261-280
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models....Pages 281-300
Decidable Classes of Unbounded Petri Nets with Time and Urgency....Pages 301-322
Front Matter....Pages 323-323
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets....Pages 325-344
Back Matter....Pages 345-345
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.
The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions.
Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.