{"product_id":"coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-3540609431","title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3540609431\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Jensen, Kurt\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51960173494560,"sku":"NEW3540609431","price":149.48,"currency_code":"USD","in_stock":false}],"url":"https:\/\/miakarts.com\/products\/coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-3540609431","provider":"Miakarts Books","version":"1.0","type":"link"}