"Unlike most books on Petri nets, which try to illustrate all aspects of the formalism, this volume focuses on a specific subject: the analysis of CP-nets. - The style, exercises, and bibliographical remarks makes this book useful as a textbook for an advanced course on CP-nets, which should follow a course based on the first volume." (M. Pezzé in Computing Reviews, August 1996)
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Etat : 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. N° de réf. du vendeur 1827054-6
Quantité disponible : 1 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9783540582762_new
Quantité disponible : Plus de 20 disponibles
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 196 pp. Englisch. N° de réf. du vendeur 9783540582762
Quantité disponible : 2 disponible(s)
Vendeur : LIBRERIA LEA+, Santiago, RM, Chili
Dura. Etat : New. Etat de la jaquette : Nuevo. No Aplica (illustrateur). 0. This work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It consists of three separate volumes. The second volume contains a detailed presentation of the analysis methods for CP-nets. The analysis methods 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 suported by computer tools. Some parts of the volume are theoretical while others are applications oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, wich does not require a deep understanding of the underlying mathematical theory. The book is addressed to practitioners, scientists and students in the fields of Sofware Engineering, Petri Nets and Distributed Systems. 380 gr. Libro. N° de réf. du vendeur 9783540582762LEA16695
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 5178672-n
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 5178672-n
Quantité disponible : Plus de 20 disponibles
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . N° de réf. du vendeur 4894643
Quantité disponible : Plus de 20 disponibles
Vendeur : preigu, Osnabrück, Allemagne
Buch. Etat : Neu. Coloured Petri Nets | Basic Concepts, Analysis Methods and Practical Use. Volume 2 | Kurt Jensen | Buch | x | Englisch | 1994 | Springer | EAN 9783540582762 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101894346
Quantité disponible : 5 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Unlike most books on Petri nets, which try to illustrate all aspects of the formalism, this volume focuses on a specific subject: the analysis of CP-nets. - The style, exercises, and bibliographical remarks makes this book useful as a textbook for an advanced course on CP-nets, which should follow a course based on the first volume.' (M. Pezzé in Computing Reviews, August 1996)Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch. N° de réf. du vendeur 9783540582762
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Buch. Etat : 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. N° de réf. du vendeur 9783540582762
Quantité disponible : 1 disponible(s)