Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992
ISBN 10: 3540555978 ISBN 13: 9783540555971
Seller: Ammareal, Morangis, France
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1992. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1992. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations.
Language: English
Published by Springer Verlag, Berlin, Heidelberg, New York, 1992
ISBN 10: 3540555978 ISBN 13: 9783540555971
Seller: Second Story Books, ABAA, Rockville, MD, U.S.A.
Hardcover. Octavo, vii, x, 234 pages. In Very Good condition. Bound in the publisher's gray with red cloth bearing black and white lettering to the spine. Boards have mild shelf wear. Previous bookshop's sticker to the rear. Text block has extremely light wear to the edges. Illustrated. Volume one only. NOTE: Shelved in Netdesk Column F, ND-F. 1378453. FP New Rockville Stock.
Published by Berlin, Springer, ,, 1996
Seller: Antiquariat Gothow & Motzke, Berlin, Germany
2nd edition. Volume I. X/234 S./pp., 84 Abbildungen (Illustrations), Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in sehr gutem Zustand / exlibrary in excellent condition (Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block sehr gut / contents fine, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), (EATCS Monographs on Theoretical Computer Science), Sprache: englisch.
Language: English
Published by Berlin/Heidelberg/New York, Springer-Verlag 1997, 1996
ISBN 10: 3540609431 ISBN 13: 9783540609438
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, Netherlands
(XII) 234 (2) p. Hardcover (Fine copy.).
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Springer Berlin / Heidelberg, 1994
ISBN 10: 3540582762 ISBN 13: 9783540582762
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 108.15
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 127.60
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 127.59
Quantity: Over 20 available
Add to basketCondition: New.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Coloured Petri Nets | Basic Concepts, Analysis Methods and Practical Use | Kurt Jensen | Taschenbuch | xi | Englisch | 2011 | Springer | EAN 9783642645563 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 130.68
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642082009 ISBN 13: 9783642082009
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
Language: English
Published by Springer, Springer Gabler, 2011
ISBN 10: 3642645569 ISBN 13: 9783642645563
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas. Most of the projects have been carried out in an industrial set ting. The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is based upon material provided by the per sons who have accomplished the individual projects. At the beginning of each chapter, we list their names and we say where the original material has been published. The original material often contains more elaborate information, e.g., about details of the modelled system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two tran sitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material, but they do not change the essential behaviour of the CPN models.
Language: English
Published by Springer, Springer Vieweg, 1994
ISBN 10: 3540582762 ISBN 13: 9783540582762
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 135.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 141.19
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642082432 ISBN 13: 9783642082436
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many small exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.