<p>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 of some 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.</p>

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Eatcs Monographs on Theoretical Computer Science)

Computers & Technology

Kathleen Jensen

Grzegorz Rozenberg

Arto Salomaa

W. Brauer

Graphics & Design

Springer, Verlag

<p>The original description of Pascal by the designer of the language has been up-dated to incorporate the ISO-standard. Revisions to Niklaus Wirth's classic, "Pascal: User Manual and Report" include: Wirth's EBNF syntactical notation - an expanded user manual with improved programming examples - a thorough appendix summarizing changes in the language necessitated by the ISO-standard. What is left unchanged is the rigor and precision that made "PASCAL: User Manual and Report" the definitive reference for nearly a decade.</p>

Pascal User Manual and Report: Revised for the ISO Pascal Standard

Niklaus Wirth

Andrew B. Mickel

Reference

Springer

See the best price to sell, buy, or rent books by Kathleen Jensen. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Kathleen Jensen