دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: نویسندگان: Kurt Jensen. Lars M. Kristensen سری: ISBN (شابک) : 9783642002830, 3642002838 ناشر: Springer سال نشر: 2009 تعداد صفحات: 382 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب Petri Nets Colored: مدل سازی و اعتبارسنجی سیستم های همزمان: محاسبات با دستگاههای انتزاعی، شبیهسازی و مدلسازی، مهندسی نرمافزار، سازماندهی سیستمهای کامپیوتری و شبکههای ارتباطی
در صورت تبدیل فایل کتاب Coloured Petri Nets: Modelling and Validation of Concurrent Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Petri Nets Colored: مدل سازی و اعتبارسنجی سیستم های همزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
شبکههای پتری رنگی (CPN) یک زبان گرافیکی برای مدلسازی و اعتبارسنجی سیستمهای همزمان و توزیعشده و سایر سیستمهایی است که همزمانی نقش اصلی را در آنها ایفا میکند. توسعه چنین سیستمهایی به دلیل پیچیدگیهای ذاتی مانند عدم قطعیت احتمالی و تعداد بیشمار دنبالههای اجرایی ممکن چالشبرانگیز است.
در این کتاب درسی جنسن و کریستنسن ساختارهای زبان مدلسازی CPN را معرفی کرده و تحلیلهای مرتبط را ارائه میکنند. روش ها به تفصیل آنها همچنین یک نقشه راه جامع برای استفاده عملی از CPN با نمایش مطالعات موردی صنعتی منتخب ارائه میکنند که کاربرد عملی مدلسازی و اعتبار سنجی CPN را برای طراحی، مشخصات، شبیهسازی، تأیید و پیادهسازی در حوزههای کاربردی مختلف نشان میدهد.
ارائه آنها در درجه اول خوانندگان علاقه مند به استفاده عملی از CPN را هدف قرار می دهد. بنابراین همه مفاهیم و سازه ها ابتدا به طور غیر رسمی از طریق مثال ها معرفی می شوند و سپس تعاریف رسمی (که ممکن است نادیده گرفته شوند) دنبال می شوند. این کتاب به طور ایده آل برای یک دوره یک ترم در سطح پیشرفته لیسانس یا فوق لیسانس مناسب است و از طریق مثال های کاربردی قوی آن می تواند برای خود مطالعه نیز مفید باشد. یک وب سایت همراه مطالب اضافی مانند اسلایدها، تمرین ها و پیشنهادات پروژه ارائه می دهد.
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.
In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains.
Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals.
Front Matter....Pages i-ix
Introduction to Modelling and Validation....Pages 1-12
Non-hierarchical Coloured Petri Nets....Pages 13-41
CPN ML Programming....Pages 43-77
Formal Definition of Non-hierarchical Coloured Petri Nets....Pages 79-94
Hierarchical Coloured Petri Nets....Pages 95-125
Formal Definition of Hierarchical Coloured Petri Nets....Pages 127-149
State Spaces and Behavioural Properties....Pages 151-187
Advanced State Space Methods....Pages 189-201
Formal Definition of State Spaces and Behavioural Properties....Pages 203-229
Timed Coloured Petri Nets....Pages 231-255
Formal Definition of Timed Coloured Petri Nets....Pages 257-271
Simulation-based Performance Analysis....Pages 273-301
Behavioural Visualisation....Pages 303-312
Examples of Industrial Applications....Pages 313-361
Teaching Coloured Petri Nets....Pages 363-374
Back Matter....Pages 1-9