Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent i
- PDF / 3,164,982 Bytes
- 381 Pages / 439.37 x 666.142 pts Page_size
- 75 Downloads / 339 Views
Kurt Jensen · Lars M. Kristensen
Coloured Petri Nets Modelling and Validation of Concurrent Systems
123
Kurt Jensen Department of Computer Science Aarhus University IT-parken, Aabogade 34 DK-8200 Aarhus N Denmark [email protected]
Lars M. Kristensen Department of Computer Engineering Bergen University College Nygaardsgaten 112 5020 Bergen Norway [email protected]
ISBN 978-3-642-00283-0 e-ISBN 978-3-642-00284-7 DOI 10.1007/b95112 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2009926853 ACM Computing Classification (1998): F.1, I.6, D.2.2, D.2.4 c Springer-Verlag Berlin Heidelberg 2009 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: K¨unkelLopka, Heidelberg Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface
This textbook presents Coloured Petri Nets (also known as CP-nets or CPNs). Coloured Petri Nets is a language for the modelling and validation of concurrent and distributed systems and other systems in which concurrency plays a major role. The book introduces the constructs of the CPN modelling language and presents its analysis methods, and provides a comprehensive road map to the practical use of CP-nets. Furthermore, this book presents some selected industrial case studies illustrating the practical use of CPN modelling and validation for design, specification, simulation, and verification in a variety of application domains. This book is aimed at use both in university courses and for self-study. It contains more than sufficient material for a one semester course at undergraduate or graduate level. A typical course will cover the basics of CP-nets and it is optional whether to include the formal definition of the language as part of this. A typical course will also cover some selected case studies depending on the aim and focus of the course. The last chapter in this book discusses how we have used the book to teach CP-nets at Aarhus University. Slide sets, CPN models, and suggestions for exercises and projects are available from the Web pages accompanying this book, at http://www.cs.au.dk/CPnets/cpnbook/ These Web pages also contain links to courses where this book has been used. For the practically oriented exercise
Data Loading...
