Discrete, Continuous, and Hybrid Petri Nets
This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri nets the book imparts an accurate understanding of continuous and hybrid Pet
- PDF / 36,493,602 Bytes
- 568 Pages / 430 x 659.996 pts Page_size
- 107 Downloads / 243 Views
René David and Hassane Alla
Discrete, Continuous, and Hybrid Petri Nets
ABC
Dr. René David Gipsa-lab, Département d’Automatique B.P. 46 38402 Saint-Martin-d’Hères France E-mail: [email protected] Pr. Hassane Alla Gipsa-lab, Département d’Automatique B.P. 46 38402 Saint-Martin-d’Hères France E-mail: [email protected]
ISBN 978-3-642-10668-2
e-ISBN 978-3-642-10669-9
DOI 10.1007/978-3-642-10669-9 Library of Congress Control Number: 2009942252 c 2010 Springer-Verlag Berlin Heidelberg
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. Typesetting: Data supplied by the authors Production: Scientific Publishing Services Pvt. Ltd., Chennai, India Cover Design: WMX Design, Heidelberg, Germany Printed in acid-free paper 987654321 springer.com
Foreword
Petri nets do not designate a single modeling formalism. In fact, newcomers to the field confess sometimes to be a little puzzled by the diversity of formalisms that are recognized under this “umbrella”. Disregarding some extensions to the theoretical modeling capabilities, and looking at the level of abstraction of the formalisms, Condition/Event, Elementary, Place/Transition, Predicate/Transition, Colored, Object Oriented… net systems are frequently encountered in the literature. On the other side, provided with appropriate interpretative extensions, Controled Net Systems, Marking Diagrams (the Petri net generalization of State Diagrams), or the many-many variants in which time can be explicitly incorporated –Time(d), Deterministic, (Generalized) Stochastic, Fuzzy…– are defined. This represents another way to define practical formalisms that can be obtained by the “crossproduct” of the two mentioned dimensions. Thus Petri nets constitute a modeling paradigm, understandable in a broad sense as “the total pattern of perceiving, conceptualising, acting, validating and valuing associated with a particular image of reality that prevails in a science or a branch of science” (Thomas S. Kuhn). As a modeling paradigm, Petri nets define a conceptual framework in which particular formalisms can be obtained from a few principles and basic concepts (reduced syntactical/semantics “apparatus”). This means that there exist an underlying structure or set of relations among the diffe
