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

Persian Title: رنگ های پتری : مفاهیم اساسی ، روش تجزیه و تحلیل و استفاده عملی

Summary and Info
This book presents a coherent description of the theoretical and practical aspectsof Coloured Petri Nets (CPnets or CPN). It shows how CPnets have been developed from being a promising theoretical model to being a fullfledged languagefor the design, specification, simulation, validation and implementation oflarge software systems (and other systems in which human beings and/or computerscommunicate by means of some more or less formal rules). The bookcontains the formal definition of CPnets and the mathematical theory behindtheir analysis methods. However, it has been the intention to write the book insuch a way that it also becomes attractive to readers who are more interested inapplications than the underlying mathematics. This means that a large part of thebook 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 bookconsists of three separate volumes.The first volume defines the net model (i.e., hierarchical CPnets) and thebasic concepts (e.g., the different behavioural properties such as deadlocks, fairnessand home markings). It gives a detailed presentation of many smaIl examplesand a brief overview of some industrial applications. It introduces the formalanalysis methods. FinaIly, it contains a description of a set of CPN toolswhich support the practical use of CPnets. Most of the material in this volume isapplication oriented. The purpose of the volume is to teach the reader how toconstruct CPN models and how to analyse these by means of simulation.The second volume contains a detailed presentation of the theory behind theformal analysis methods  in particular occurrence graphs with equivalenceclasses and place/transition invariants. It also describes how these analysis methodsare supported by computer tools. Parts of this volume are rather theoreticalwhile other parts are application oriented. The purpose of the volume is to teachthe reader how to use the formal analysis methods. This will not necessarily requirea deep understanding of the underlying mathematical theory (although suchknowledge will of course be a help).The third volume contains a detailed description of a selection of industrialapplications. The purpose is to document the most important ideas and experiencesfrom the projects  in a way which is useful for readers who do not yethave personal experience with the construction and analysis of large CPN diagrams.Another purpose is to demonstrate the feasibility of using CPnets and theCPN tools for such projects.
Review and Comments
Rate the Book
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 0 out of 5 stars based on 0 ratings. Your Rating: ☆☆☆☆☆★★★★★
دانلود رایگان
EBOOK File
Instant Download
دسترسی به لیب دی ال مخصوص کاربران ایرانی است. لیب دی ال نیاز به تایید هویت شما جهت ارائه لینک دانلود دارد. لطفا
اینجا
را کلیک کنید و با پاسخ به یک سوال، هویت خود را تایید نمایید.