ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

دانلود کتاب کاربرد و تئوری پتری نت و همزمانی: 37مین کنفرانس بین المللی ، PETRI NETS 2016 ، Toruń ، لهستان ، 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 
نویسندگان:   
سری: Lecture Notes in Computer Science 9698 
ISBN (شابک) : 9783319390857, 9783319390864 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 349 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت

قیمت کتاب (تومان) : 74,000



کلمات کلیدی مربوط به کتاب کاربرد و تئوری پتری نت و همزمانی: 37مین کنفرانس بین المللی ، PETRI NETS 2016 ، Toruń ، لهستان ، 19-24 ژوئن ، 2016. مجموعه مقالات: منطق و معانی برنامه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 20


در صورت تبدیل فایل کتاب Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کاربرد و تئوری پتری نت و همزمانی: 37مین کنفرانس بین المللی ، PETRI NETS 2016 ، Toruń ، لهستان ، 19-24 ژوئن ، 2016. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کاربرد و تئوری پتری نت و همزمانی: 37مین کنفرانس بین المللی ، PETRI NETS 2016 ، Toruń ، لهستان ، 19-24 ژوئن ، 2016. مجموعه مقالات



این کتاب مجموعه مقالات سی و هفتمین کنفرانس بین‌المللی کاربرد و تئوری شبکه‌های پتری و همزمانی، PETRI NETS 2016، در تورون، لهستان، در ژوئن 2016 برگزار شد. کنفرانس Concurrency to System Design، ACSD 2016.

16 مقاله شامل 3 مقاله ابزار با 4 سخنرانی دعوت شده ارائه شده با هم در این جلد به دقت بررسی و از 42 مورد ارسالی انتخاب شدند.

مقالاتی که تحقیقات اصلی را در مورد کاربرد یا تئوری شبکه‌های پتری ارائه می‌کنند، و همچنین مشارکت‌هایی که به موضوعات مرتبط با حوزه کلی سیستم‌های توزیع‌شده و همزمان می‌پردازند، در این جلد ارائه شده‌اند.


توضیحاتی درمورد کتاب به خارجی

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.



فهرست مطالب

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




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد