دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
دانلود کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و ششمین کنفرانس بین المللی، PETRI NETS 2015، بروکسل، بلژیک، 21-26 ژوئن 2015، مجموعه مقالات
مشخصات کتاب
Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
ویرایش: 1
نویسندگان: Raymond Devillers. Antti Valmari (eds.)
سری: Lecture Notes in Computer Science 9115
ISBN (شابک) : 9783319194875, 9783319194882
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 360
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و ششمین کنفرانس بین المللی، PETRI NETS 2015، بروکسل، بلژیک، 21-26 ژوئن 2015، مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه شبکه های پتری و همزمانی: سی و ششمین کنفرانس بین المللی، PETRI NETS 2015، بروکسل، بلژیک، 21-26 ژوئن 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-X
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets....Pages 1-32
Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs....Pages 33-48
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers....Pages 49-76
On Interval Process Semantics of Petri Nets with Inhibitor Arcs....Pages 77-97
An SRN-Based Resiliency Quantification Approach....Pages 98-116
Non-atomic Transition Firing in Contextual Nets....Pages 117-136
Discrete Parameters in Petri Nets....Pages 137-156
Negotiation Programs....Pages 157-178
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets....Pages 179-199
Charlie – An Extensible Petri Net Analysis Tool....Pages 200-211
Petri Nets with Structured Data....Pages 212-233
On the Reversibility of Live Equal-Conflict Petri Nets....Pages 234-253
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)....Pages 254-265
Characterizing Stable Inequalities of Petri Nets....Pages 266-286
Process Discovery Using Localized Events....Pages 287-308
New Search Strategies for the Petri Net CEGAR Approach....Pages 309-328
Workflow Management Principles for Interactions Between Petri Net-Based Agents....Pages 329-349
Back Matter....Pages 351-351
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Geometry of Meaning: Semantics Based on Conceptual Spaces
دانلود کتاب Plutarch Lives: Demosthenes and Cicero. Alexander and Caesar
دانلود کتاب Diálogo sobre los sistemas máximos: jornada segunda
دانلود کتاب Helden wie Opa und ich
