{"title":"Eike Best","description":null,"products":[{"product_id":"petri-net-algebra-book-eike-best-9783540673989","title":"Petri Net Algebra","description":"In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con- current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num- bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev- eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de- scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand, process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be- haviour.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51325894197521,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51325896851729,"sku":"CIN3540673989VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52478801772817,"sku":"NLS9783540673989","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B000N5VAV0.jpg?v=1785967967"},{"product_id":"concur-93-book-eike-best-9783540572084","title":"CONCUR'93","description":"This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: The lambda-calculus with multiplicities (extended abstract) by G rard Boudol, A pi-calculus semantics for an object-based design notation by Cliff B. Jones, Partial-order methods for temporal verification by Pierre Wolper and Patrice Godefroid, Non-interleaving process algebra by Jos C.M. Baetenand Jan A. Bergstra, Loop parallelization in the polytope model by Christian Lengauer, and Structured operational semantics for process algebras and equational axiom systems (abstract) by Bard Bloom.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148279247121,"sku":"NLS9783540572084","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540572084.jpg?v=1789466559"},{"product_id":"petri-net-primer-book-eike-best-9783031482809","title":"Petri Net Primer","description":"\u003cp\u003ePetri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. \u003c\/p\u003eAlthough the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction. \u003cbr\u003eThis comprehensive textbook\/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place\/transition nets. The presentation is fortified by means of many examples and worked exercises. \u003cbr\u003e\u003cb\u003eAmong topics addressed\u003c\/b\u003e: • In which order may actions may be generated and scheduled? • What states and configurations may be reached in a concurrent system? • Which interesting classes of systems can be analysed relatively efficiently? • Is it possible to synthesise a system of some class from its behaviour? • How can systems be represented algebraically, compositionally, and concisely? \u003cbr\u003eThis unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical—as well as in practical—aspects of Petri nets and related system models. \u003cbr\u003e\u003cb\u003eEike Best \u003c\/b\u003ehas been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. \u003cb\u003eRaymond Devillers\u003c\/b\u003e has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52153707561233,"sku":"NGR9783031482809","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031482809.jpg?v=1786615130"},{"product_id":"petri-net-algebra-book-eike-best-9783642086779","title":"Petri Net Algebra","description":"In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con- current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num- bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev- eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de- scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand, process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be- haviour.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52476624339217,"sku":"NLS9783642086779","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642086779.jpg?v=1785930413"},{"product_id":"semantik-book-eike-best-9783322868244","title":"Semantik","description":"Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich f r die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenflu  einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollflu  einer variablenfreien Sprache werden zun chst getrennt beschrieben und dann zu einer einheitlichen Semantik f r parallele Programme zusammengef gt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ans tzen. Das Buch ist vollst ndig mit leicht verst ndlichen Beweisen und praktische relevanten Beispielen versehen und enth lt neben gr  eren Fallstudien auch  bungsaufgaben mit Musterl sungen sowie eine breite Literaturauswahl.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52622543814929,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52622544470289,"sku":"NLS9783322868244","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783322868244.jpg?v=1785926989"},{"product_id":"nonsequential-processes-book-eike-best-9783642734854","title":"Nonsequential Processes","description":"The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur- rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis- cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52634087522577,"sku":"NLS9783642734854","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642734854.jpg?v=1761866770"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-eike-best.oembed","provider":"World of Books ","version":"1.0","type":"link"}