عنوان

Coloured Petri Nets :

شابک

3662062895

شابک

9783662062890

شماره

b579563

عنوان اصلي

Coloured Petri Nets :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Basic Concepts, Analysis Methods and Practical Use Volume 1

نام نخستين پديدآور

by Kurt Jensen.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1992

نام خاص و کميت اثر

(x, 236 pages)

عنوان فروست

EATCS Monographs in Theoretical Computer Science.

متن يادداشت

1 Informal Introduction to Coloured Petri Nets --; 2 Formal Definition of Coloured Petri Nets --; 3 Hierarchical Coloured Petri Nets --; 4 Dynamic and Static Properties of Coloured Petri Nets --; 5 Formal Analysis of Coloured Petri Nets --; 6 Computer Tools for Coloured Petri Nets --; 7 Industrial Applications of Coloured Petri Nets --; References.

متن يادداشت

This book presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). 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. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in the underlying mathematics, and a large part of the book is written in a style which is closer to an engineering textbook or a user manual than a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model and the basic concepts. It gives a detailed presentation of many small examples and a brief overview ofsome industrial applications. It introduces the formal analysis methods. Finally, it contains a description of a set of CP-net tools which support the practical use of CP-nets. Most of the material in this volume is application oriented. Its purpose is to teach the reader how to construct CP-net models and analyse them by means of simulation.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer simulation.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Kurt Jensen.

مستند نام اشخاص تاييد نشده

Kurt Jensen

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y