Lars M. Kristensen Knihy

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. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains. Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. An accompanying website offers additional material such as slides, exercises and project proposals. Book website: http://www.cs.au.dk/CPnets/cpnbook/

A post-communist condition has arisen from the fall of the Berlin Wall and later the Soviet Empire: this book looks at how this condition has manifested itself globally in the production of post-communist film. It argues post-communism is a shared experience on a geopolitical level, unlimited by national state borders, and examines post-communist cross culturalism and global totalitarianism within film. The book examines different national cinemas and dissimilar cinematic modes - from Russian blockbuster cinema to Chinese independent cinema; from Serbian city films to revolutionary films of Mozambique - all formulated as within the postcommunist condition. It considers the postcommunist film in terms of transnational and World cinema. It covers a wide range of films from small and independent filmmaking to mainstream, popular cinema, and explains post-communist signifiers as manifested in visual culture both inside and outside former, and current, communist countries.

This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.