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

By Kurt Jensen

This booklet offers a coherent description of the theoretical and sensible aspects
of colored Petri Nets (CP-nets or CPN). It exhibits how CP-nets were developed
- from being a promising theoretical version to being a full-fledged language
for the layout, specification, simulation, validation and implementation of
large software program platforms (and different structures within which humans and/or computers
communicate via a few roughly formal rules). The book
contains the formal definition of CP-nets and the mathematical thought behind
their research tools. although, it's been the purpose to write down the e-book in
such a manner that it additionally turns into appealing to readers who're extra in
applications than the underlying arithmetic. which means a wide a part of the
book is written in a mode that is in the direction of an engineering textbook (or a users'
manual) than it really is to a standard textbook in theoretical machine technology. The book
consists of 3 separate volumes.

The first quantity defines the web version (i.e., hierarchical CP-nets) and the
basic recommendations (e.g., different behavioural houses comparable to deadlocks, fairness
and domestic markings). It offers a close presentation of many smaIl examples
and a quick evaluation of a few business purposes. It introduces the formal
analysis tools. FinaIly, it encompasses a description of a collection of CPN tools
which help the sensible use of CP-nets. many of the fabric during this quantity is
application orientated. the aim of the amount is to educate the reader how to
construct CPN versions and the way to examine those through simulation.

The moment quantity incorporates a designated presentation of the idea at the back of the
formal research tools - specifically prevalence graphs with equivalence
classes and place/transition invariants. It additionally describes how those research methods
are supported through machine instruments. components of this quantity are quite theoretical
while different elements are program orientated. the aim of the quantity is to teach
the reader tips to use the formal research tools. this can no longer unavoidably require
a deep knowing of the underlying mathematical thought (although such
knowledge will after all be a help).

The 3rd quantity incorporates a exact description of a variety of industrial
applications. the aim is to rfile crucial rules and experiences
from the tasks - in a fashion that's worthwhile for readers who don't yet
have own event with the development and research of enormous CPN diagrams.
Another objective is to illustrate the feasibility of utilizing CP-nets and the
CPN instruments for such tasks.

Show description

Read or Download Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use PDF

Similar data modeling & design books

Medical Imaging and Augmented Reality Second International Workshop

This scholarly set of well-harmonized volumes presents quintessential and whole assurance of the interesting and evolving topic of clinical imaging platforms. prime specialists at the overseas scene take on the newest state-of-the-art ideas and applied sciences in an in-depth yet eminently transparent and readable technique.

Metaheuristics

Metaheuristics show fascinating houses like simplicity, effortless parallelizability, and prepared applicability to forms of optimization difficulties. After a finished creation to the sphere, the contributed chapters during this publication contain causes of the most metaheuristics options, together with simulated annealing, tabu seek, evolutionary algorithms, man made ants, and particle swarms, by way of chapters that exhibit their functions to difficulties reminiscent of multiobjective optimization, logistics, motor vehicle routing, and air site visitors administration.

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

Example text

44 1 Informal Introduction to Coloured Petri Nets Pl Fig. 25. Rule 3: Keep a main direction of flow 4. A void crossing arcs. This can often be done by moving a few places and transitions. , at two different positions). Then we connect some of the arcs to one of the copies, while the remainder are connected to the other. It is good idea to highlight such "duplicate places" in a special way. Fig. 26. 6 Drawing of CPN Diagrams 45 Fig. 27. ): Same subnet as in Fig. 26 5. Use arcs which are as simple and regular as possible.

It should be obvious that the two transitions are equivalent. A step is enabled for one of the transitions iff it is enabled for the other. Moreover, the effect of an enabled step is the same. We shall also use the data base system to illustrate three of the very basic concepts of net theory: concurrency, conflict and causal dependency. In the initial marking of the data base system (Fig. 13), the transition Update and Send Messages is enabled for all managers, but it can only occur for one manager at a time (due to the single e-token on Passive).

We shall also use the data base system to illustrate three of the very basic concepts of net theory: concurrency, conflict and causal dependency. In the initial marking of the data base system (Fig. 13), the transition Update and Send Messages is enabled for all managers, but it can only occur for one manager at a time (due to the single e-token on Passive). This situation is called a conflict (because the binding elements are individually enabled, but not concurrently enabled) - and we say that the transition Update and Send Messages is in conflict with itself.

Download PDF sample

Rated 4.85 of 5 – based on 34 votes

About the Author

admin