دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed. 2019] نویسندگان: Maciej Koutny, Lucia Pomello, Lars Michael Kristensen سری: Lecture Notes in Computer Science 11790 ISBN (شابک) : 9783662606506, 9783662606513 ناشر: Springer Berlin Heidelberg سال نشر: 2019 تعداد صفحات: XVII, 255 [270] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
در صورت تبدیل فایل کتاب Transactions on Petri Nets and Other Models of Concurrency XIV به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات روی شبکه پتری و سایر مدل های همزمانی XIV نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
جلد چهاردهم ToPNoC شامل نسخه های اصلاح شده و توسعه یافته گزیده ای از بهترین مقالات کارگاهی و آموزشی ارائه شده در سی و نهمین کنفرانس بین المللی کاربرد و تئوری شبکه های پتری و همزمانی، شبکه های پتری 2018 و هجدهمین کنفرانس بین المللی کاربرد است. از Concurrency to System Design، ACSD 2018. 10 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب را پوشش میدهند. کار اساسی بر روی کلاس های خاص شبکه های پتری؛ و کاربردهای نوآورانه شبکه های پتری و سایر مدل های همزمانی. حوزههای کاربردی تحت پوشش این جلد عبارتند از: فرآیند کاوی، تأیید، معناشناسی رسمی، پروتکلهای ارتباطی، فرآیندهای تجاری، سیستمهای توزیعشده و سنتز شبکه. بنابراین، این جلد نمای کلی خوبی از تحقیقات جاری در مورد سیستمهای همزمان و شبکههای پتری ارائه میدهد.
The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 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: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Front Matter ....Pages i-xvii
A Tour in Process Mining: From Practice to Algorithmic Challenges (Wil van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn van Dongen)....Pages 1-35
How Petri Net Theory Serves Petri Net Model Checking: A Survey (Karsten Wolf)....Pages 36-63
Parametric Verification: An Introduction (Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci)....Pages 64-100
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics (David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz)....Pages 101-125
Formal Modelling and Incremental Verification of the MQTT IoT Protocol (Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle)....Pages 126-145
Kleene Theorems for Free Choice Automata over Distributed Alphabets (Ramchandra Phawade)....Pages 146-171
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach (Raymond Devillers, Evgeny Erofeev, Thomas Hujsa)....Pages 172-191
Evaluating Conformance Measures in Process Mining Using Conformance Propositions (Anja F. Syring, Niek Tax, Wil M. P. van der Aalst)....Pages 192-221
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems (Uli Schlachter, Harro Wimmel)....Pages 222-254
Back Matter ....Pages 255-255