مشخصات کتاب

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

ویرایش: 1 
نویسندگان: Brian Randell (auth.),  Lars M. Kristensen,  Laure Petrucci (eds.)  
سری: Lecture Notes in Computer Science 6709 Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642218334, 9783642218330 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 362 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب برنامه ها و تئوری پتری نت: سی و دومین کنفرانس بین المللی ، PETRI NETS 2011 ، نیوکاسل ، انگلیس ، 20-24 ژوئن ، 2011. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب برنامه ها و تئوری پتری نت: سی و دومین کنفرانس بین المللی ، PETRI NETS 2011 ، نیوکاسل ، انگلیس ، 20-24 ژوئن ، 2011. مجموعه مقالات

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

فهرست مطالب

Front Matter....Pages -
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets....Pages 1-16
How Might Petri Nets Enhance Your Systems Biology Toolkit....Pages 17-37
State Estimation and Fault Detection Using Petri Nets....Pages 38-48
Forward Analysis and Model Checking for Trace Bounded WSTS....Pages 49-68
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning....Pages 69-88
An Algorithm for Direct Construction of Complete Merged Processes....Pages 89-108
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings....Pages 109-128
Branching Processes of General Petri Nets....Pages 129-148
Refinement of Synchronizable Places with Multi-workflow Nets....Pages 149-168
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets....Pages 169-188
Finding a Witness Path for Non-liveness in Free-Choice Nets....Pages 189-207
A Petri Net Interpretation of Open Reconfigurable Systems....Pages 208-227
The Mutex Paradigm of Concurrency....Pages 228-247
On the Origin of Events: Branching Cells as Stubborn Sets....Pages 248-267
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet....Pages 268-287
Synthesis and Analysis of Product-Form Petri Nets....Pages 288-307
A Tool for Automated Test Code Generation from High-Level Petri Nets....Pages 308-317
The ePNK: An Extensible Petri Net Tool for PNML....Pages 318-327
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models....Pages 328-337
 Crocodile : A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag....Pages 338-347
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Nahrungsmittelallergien und -intoleranzen

دانلود کتاب Terrorism: a very short introduction

دانلود کتاب Kolloidchemie: Ein Lehrbuch

دانلود کتاب Sehen lernen in der Fernsehgesellschaft: Das pädagogische Prinzip Anschaulichkeit im Zeitalter technischer Bilder

دانلود کتاب How I lost 80 pounds with smart carb eating : secrets of effective weight management