Dynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern o
- PDF / 1,868,901 Bytes
- 171 Pages / 439.37 x 666.142 pts Page_size
- 42 Downloads / 215 Views
356
Andrei Karatkevich
Dynamic Analysis of Petri Net-Based Discrete Systems
ABC
Series Advisory Board F. Allgöwer, P. Fleming, P. Kokotovic, A.B. Kurzhanski, H. Kwakernaak, A. Rantzer, J.N. Tsitsiklis
Author Dr. Andrei Karatkevich Institute of Computer Engineering and Electronics Faculty of Electrical Engineering, Computer Science and Telecommunications University of Zielona Góra Ul. Pogfórna 50 65-246 Zielona Góra Poland Email: [email protected]
Library of Congress Control Number: 2007923719 ISSN print edition: 0170-8643 ISSN electronic edition: 1610-7411 ISBN-10 3-540-71464-2 Springer Berlin Heidelberg New York ISBN-13 978-3-540-71464-4 Springer Berlin Heidelberg New York 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 for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2007 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. Typesetting: by the authors and SPS using a Springer LATEX macro package Printed on acid-free paper
SPIN: 11903901
89/SPS
543210
Preface
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented program can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs). The engineers and researchers became aware of practical necessity of developing of parallel discrete models about forty years ago. There were (and are) two main approaches to such
Data Loading...
