{"title":"Kurt Jensen","description":null,"products":[{"product_id":"peerless-book-kurt-jensen-9780299348205","title":"Peerless","description":"A proud Armenian who claimed a distant link to nobility, born in what was then part of czarist Russia, Rouben Mamoulian (18971987) became one of the most astonishing and confounding directors of American film and theater. Kurt Jensens magisterial volume brings to life this charming, flawed, and fascinating man.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49667942514961,"sku":"GOR013767438","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50244298473745,"sku":"CIN0299348202G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51000713609489,"sku":"NIN9780299348205","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327138656529,"sku":"NLS9780299348205","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ LIKE_NEW \/ SBYB","offer_id":52901175984401,"sku":"CIN0299348202LN","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0299348202.jpg?v=1750696062"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783540609438","title":"Coloured Petri Nets","description":"This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50203167654161,"sku":"CIN3540609431G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52484780359953,"sku":"NLS9783540609438","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540609431.jpg?v=1786791820"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783642002830","title":"Coloured Petri Nets","description":"Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50885883199761,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50885883396369,"sku":"GOR013239467","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51565934969105,"sku":"CIN3642002838G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52535350984977,"sku":"NLS9783642002830","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3642002838.jpg?v=1750807113"},{"product_id":"murder-mysteries-book-kurt-jensen-9781507527238","title":"Murder Mysteries","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51031702634769,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51031704862993,"sku":"NIN9781507527238","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1507527233.jpg?v=1750924188"},{"product_id":"actual-alien-abduction-accounts-book-kurt-jensen-9781514175316","title":"Actual Alien Abduction Accounts","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51032063213841,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51032065147153,"sku":"NIN9781514175316","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1514175312.jpg?v=1750925178"},{"product_id":"shocking-spree-killers-book-kurt-jensen-9781511833912","title":"Shocking Spree Killers","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51032436146449,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51032438079761,"sku":"NIN9781511833912","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1511833912.jpg?v=1751243429"},{"product_id":"high-level-petri-nets-book-kurt-jensen-9783540541257","title":"High-level Petri Nets","description":"High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de- scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is only one kind of token and this means that the state of a place is described by an integer (and in many cases even by a boolean value). In high-level nets each token can carry complex information which, e. g., may describe the entire state of a process or a data base. Today most practical applications of Petri nets use one of the different kinds of high-level nets. A considerable body of knowledge exists about high-level Petri nets- this includes theoretical foundations, analysis methods and many applications. Unfortunately, the papers on high-level Petri nets have been scattered throughout various journals and collections. As a result, much of this knowledge is not readily available to people who may be interested in using high-level nets.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128191217937,"sku":"NLS9783540541257","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540541257.jpg?v=1786093871"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-v-book-kurt-jensen-9783642290718","title":"Transactions on Petri Nets and Other Models of Concurrency V","description":"This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142921613585,"sku":"NLS9783642290718","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642290718.jpg?v=1789466191"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-vi-book-kurt-jensen-9783642351785","title":"Transactions on Petri Nets and Other Models of Concurrency VI","description":"\u003cp\u003eThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections\/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors. \u003c\/p\u003e\u003cp\u003eThe sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed paper submitted through the regular submission track of ToPNoC. The 14 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142922432785,"sku":"NLS9783642351785","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642351785.jpg?v=1786088117"},{"product_id":"application-and-theory-of-petri-nets-1992-book-kurt-jensen-9783540556763","title":"Application and Theory of Petri Nets 1992","description":"This volume contains the proceedings of the 13thInternational Conference onApplication and Theory of PetriNets, held in Sheffield, England, in June 1992.The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Typically, the conferences have 150-200participants, one third of these coming from industry andthe rest from universities and research institutions.The 1992 conference was organized by the School of Computingand Management Sciences at Sheffield City Polytechnic,England.The volume contains twoinvited papers, by G. Balbo and W.Reisig, 18 submitted papers, and seven project papers. Thesubmitted papers and project presentations were selectedbythe programme committee and a panel of referees from a largenumber of submissions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148378140945,"sku":"NLS9783540556763","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540556763.jpg?v=1789483536"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783540582762","title":"Coloured Petri Nets","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52334212874513,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52334213595409,"sku":"NLS9783540582762","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540582762.jpg?v=1785869875"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783642425813","title":"Coloured Petri Nets","description":"Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52341611528465,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52341615395089,"sku":"NLS9783642425813","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642425813.jpg?v=1786442841"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-kurt-jensen-9783540212997","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos´ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between di?erent communities including, but not - mited to, those devoted to formal methods, software and hardware veri?cation, static analysis, programming languages, software engineering, real-time systems, and communication protocols that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures, and methodologies, TACAS aims to support researchers in their quest to improve the utility, rel- bility, ?exibility, and e?ciency of tools for building systems. TACASseekstheoreticalpaperswithaclearlinktotoolconstruction,papers describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,- pers giving descriptions of tools and associated methodologies, and case studies with a conceptual message.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52406234874129,"sku":"NLS9783540212997","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540212997.jpg?v=1785928732"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-vii-book-kurt-jensen-9783642381423","title":"Transactions on Petri Nets and Other Models of Concurrency VII","description":"These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections\/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52454439813393,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52454440370449,"sku":"NLS9783642381423","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642381423.jpg?v=1786701047"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783642082436","title":"Coloured Petri Nets","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52455599603985,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455600259345,"sku":"NLS9783642082436","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642082436.jpg?v=1759374780"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783642082009","title":"Coloured Petri Nets","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52481776255249,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52481777598737,"sku":"NLS9783642082009","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642082009.jpg?v=1786086877"},{"product_id":"coloured-petri-nets-book-kurt-jensen-9783642645563","title":"Coloured Petri Nets","description":"This third volume of a definitive work on coloured Petri nets gives a detailed account of their application in 19 projects, most of them carried out in an industrial setting.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617137783057,"sku":"NLS9783642645563","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642645563.jpg?v=1761529375"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-iii-book-kurt-jensen-9783642048548","title":"Transactions on Petri Nets and Other Models of Concurrency III","description":"timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52668457058577,"sku":"NLS9783642048548","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642048548.jpg?v=1786051271"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-kurt-jensen.oembed","provider":"World of Books ","version":"1.0","type":"link"}