ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

دانلود کتاب Petri Nets Colored: مفاهیم اساسی ، روش های تحلیل و کاربرد عملی

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

مشخصات کتاب

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 1st 
نویسندگان:   
سری: EATCS Monographs in Theoretical Computer Science 
ISBN (شابک) : 9783662062913, 9783662062890 
ناشر: Springer 
سال نشر: 1992 
تعداد صفحات: 239 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 51,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


در صورت تبدیل فایل کتاب Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Petri Nets Colored: مفاهیم اساسی ، روش های تحلیل و کاربرد عملی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Petri Nets Colored: مفاهیم اساسی ، روش های تحلیل و کاربرد عملی

این کتاب شرحی منسجم از جنبه های نظری و عملی ارائه می دهد شبکه های پتری رنگی (CP-nets یا CPN). این نشان می دهد که چگونه CP-nets توسعه یافته اند - از یک الگوی نظری امیدوارکننده تا یک زبان تمام عیار برای طراحی، مشخصات، شبیه سازی، اعتبار سنجی و پیاده سازی سیستم‌های نرم‌افزاری بزرگ (و سایر سیستم‌هایی که در آن انسان و/یا رایانه وجود دارد از طریق برخی قوانین کم و بیش رسمی ارتباط برقرار کنید). کتاب شامل تعریف رسمی شبکه های CP و نظریه ریاضی پشت آن است روش های تجزیه و تحلیل آنها با این حال، قصد نوشتن کتاب در آن بوده است به گونه ای که برای خوانندگانی که علاقه بیشتری به آن دارند نیز جذاب شود برنامه های کاربردی نسبت به ریاضیات اساسی. این بدان معناست که بخش بزرگی از کتاب به سبکی نوشته شده است که به یک کتاب درسی مهندسی (یا یک کاربر) نزدیکتر است. دستی) نسبت به یک کتاب درسی معمولی در علوم کامپیوتر نظری. کتاب از سه جلد مجزا تشکیل شده است. جلد اول مدل شبکه (به عنوان مثال، شبکه های CP سلسله مراتبی) و مفاهیم اساسی (به عنوان مثال، ویژگی های رفتاری مختلف مانند بن بست، انصاف و علامت های خانه). این ارائه مفصل از بسیاری از نمونه های کوچک است و مروری کوتاه بر برخی کاربردهای صنعتی. رسمی را معرفی می کند روش های تجزیه و تحلیل در نهایت، شامل توضیحات مجموعه ای از ابزارهای CPN است که از استفاده عملی از شبکه های CP پشتیبانی می کنند. بیشتر مطالب این جلد است برنامه گرا هدف از جلد این است که به خواننده یاد دهد چگونه ساخت مدل های CPN و نحوه تجزیه و تحلیل آنها با استفاده از شبیه سازی. جلد دوم شامل ارائه مفصلی از تئوری است روش های تحلیل رسمی - به ویژه نمودارهای رخداد با هم ارزی کلاس ها و مکان/ گذار ثابت. همچنین چگونگی این روش های تجزیه و تحلیل را شرح می دهد توسط ابزارهای کامپیوتری پشتیبانی می شوند. بخش هایی از این جلد نسبتاً نظری است در حالی که سایر بخش ها برنامه گرا هستند. هدف از جلد آموزش است خواننده چگونه از روش های تحلیل رسمی استفاده کند. این لزوماً نیاز نخواهد داشت درک عمیق از نظریه ریاضی اساسی (اگرچه چنین است البته دانش کمک کننده خواهد بود). جلد سوم شامل شرح مفصلی از مجموعه ای از صنایع است برنامه های کاربردی. هدف مستندسازی مهمترین ایده ها و تجربیات است از پروژه ها - به نحوی که برای خوانندگانی که هنوز این کار را نکرده اند مفید باشد تجربه شخصی در ساخت و تجزیه و تحلیل نمودارهای CPN بزرگ دارند. هدف دیگر نشان دادن امکان سنجی استفاده از شبکه های سی پی و شبکه است ابزارهای CPN برای چنین پروژه هایی.


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

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been developed - from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i.e., hierarchical CP-nets) and the basic concepts (e.g., the different behavioural properties such as deadlocks, fairness and home markings). It gives a detailed presentation of many smaIl examples and a brief overview of some industrial applications. It introduces the formal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets. Most of the material in this volume is application oriented. The purpose of the volume is to teach the reader how to construct CPN models and how to analyse these by means of simulation. The second volume contains a detailed presentation of the theory behind the formal analysis methods - in particular occurrence graphs with equivalence classes and place/transition invariants. It also describes how these analysis methods are supported by computer tools. Parts of this volume are rather theoretical while other parts are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods. This will not necessarily require a deep understanding of the underlying mathematical theory (although such knowledge will of course be a help). The third volume contains a detailed description of a selection of industrial applications. The purpose is to document the most important ideas and experiences from the projects - in a way which is useful for readers who do not yet have personal experience with the construction and analysis of large CPN diagrams. Another purpose is to demonstrate the feasibility of using CP-nets and the CPN tools for such projects.



فهرست مطالب

Front Matter....Pages I-X
Informal Introduction to Coloured Petri Nets....Pages 1-63
Formal Definition of Coloured Petri Nets....Pages 65-87
Hierarchical Coloured Petri Nets....Pages 89-121
Dynamic and Static Properties of Coloured Petri Nets....Pages 123-140
Formal Analysis of Coloured Petri Nets....Pages 141-154
Computer Tools for Coloured Petri Nets....Pages 155-203
Industrial Applications of Coloured Petri Nets....Pages 205-219
Back Matter....Pages 221-236




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی