دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets and Concurrency
دانلود کتاب کاربرد و نظریه پتری نت و همزمانی
مشخصات کتاب
Application and Theory of Petri Nets and Concurrency
ویرایش: [1st ed.]
نویسندگان: Victor Khomenko. Olivier H. Roux
سری: Lecture Notes in Computer Science 10877
ISBN (شابک) : 9783319912677, 9783319912684
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: XI, 427
[428]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 18 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets and Concurrency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه پتری نت و همزمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربرد و نظریه پتری نت و همزمانی
این کتاب مجموعه مقالات سی و نهمین کنفرانس بین‌المللی کاربرد و نظریه شبکه‌های پتری و همزمانی، PETRI NETS 2018 است که در براتیسلاوا، اسلواکی، در ژوئن 2018 برگزار شد. مین کنفرانس بین المللی کاربرد همزمانی در طراحی سیستم، ACSD 2018.
15 مقاله معمولی و 8 مقاله ابزار، با 1 سخنرانی دعوت شده ارائه شده با هم در این جلد به دقت بررسی و انتخاب شدند. از 33 ارسالی تمرکز کنفرانس بر روی موضوعات زیر است: پتری نتس سنتز; تجزیه و تحلیل و بررسی مدل. زبان ها؛ معناشناسی و بیان; و ابزارها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018.
The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.
فهرست مطالب
Front Matter ....Pages I-XI
Front Matter ....Pages 1-1
Self-adaptive Model Checking, the Next Step? (Fabrice Kordon, Yann Thierry-Mieg)....Pages 3-15
Front Matter ....Pages 17-17
Analysis and Synthesis of Weighted Marked Graph Petri Nets (Raymond Devillers, Thomas Hujsa)....Pages 19-39
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs (Ronny Tredup, Christian Rosenke, Karsten Wolf)....Pages 40-59
Petri Net Synthesis with Union/Find (Karsten Wolf)....Pages 60-81
Factorisation of Petri Net Solvable Transition Systems (Raymond Devillers, Uli Schlachter)....Pages 82-98
A Geometric Characterisation of Event/State Separation (Uli Schlachter, Harro Wimmel)....Pages 99-116
From Event-Oriented Models to Transition Systems (Eike Best, Nataliya Gribovskaya, Irina Virbitskaite)....Pages 117-139
Front Matter ....Pages 141-141
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (Frederik Bønneland, Jakob Dyhr, Peter G. Jensen, Mads Johannsen, Jiří Srba)....Pages 143-163
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis (Engel Lefaucheux, Alessandro Giua, Carla Seatzu)....Pages 164-183
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States (Petr Jančar, Jérôme Leroux, Grégoire Sutre)....Pages 184-203
Front Matter ....Pages 205-205
An Efficient Characterization of Petri Net Solvable Binary Words (David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski)....Pages 207-226
Pattern Matching in Link Streams: A Token-Based Approach (Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski)....Pages 227-247
Front Matter ....Pages 249-249
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains (Ryszard Janicki)....Pages 251-271
One Net Fits All (Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk)....Pages 272-293
On the Structure of Cycloids Introduced by Carl Adam Petri (Rüdiger Valk)....Pages 294-314
Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions (Wil M. P. van der Aalst)....Pages 315-336
Front Matter ....Pages 337-337
ePNK Applications and Annotations: A Simulator for YAWL Nets (Ekkart Kindler)....Pages 339-350
Petri Net Model Checking with LoLA 2 (Karsten Wolf)....Pages 351-362
Integrating Simulink Models into the Model Checker Cosmos (Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad)....Pages 363-373
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World (Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma)....Pages 374-384
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning (Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon)....Pages 385-395
Arduino Library Developed for Petri Net Inserted into RFID Database and Variants (Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira)....Pages 396-405
OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica (Christoph Brinkrolf, Philo Reipke)....Pages 406-415
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 416-425
Back Matter ....Pages 427-427
نظرات کاربران
کتاب های تصادفی
دانلود کتاب IQ Mindbenders
دانلود کتاب Where Are the Poor?: Experiences With the Development and Use of Poverty Maps
دانلود کتاب Starting Out: Rook Endgames
