文档介绍：Lecture Notes
in Control and Information Sciences 356
Editors: M. Thoma, M. Morari
Andrei Karatkevich
Dynamic Analysis of Petri
Net-Based Discrete Systems
ABC
Series Advisory Board
F. Allgöwer, P. Fleming, P. Kokotovic,
. Kurzhanski, H. Kwakernaak,
A. Rantzer, . Tsitsiklis
Author
Dr. Andrei Karatkevich
Institute puter Engineering and Electronics
Faculty of Electrical Engineering,
Computer Science and munications
University of Zielona Góra
Ul. Pogfórna 50
65-246 Zielona Góra
Poland
Email: A.******@
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
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 5 43210
Preface
Design of modern digital hardware systems and plex software systems is almost
always connected with parallelis