The book is a kind of information and methodological handbook on environmental and climate issues. It consists two parts. The first section provides information about the weather and out-climate change. They guide the reader to the problem of the influence climate change on our lives. The second section is special, a step-by-step description of observations of the weather, facilitating the make any human layman, do not apply tools and materials, by-hand registering processes of annual calendar cycle ("people's home» climate monitoring). The book is intended for all those interested in environmental issues and in their daily life is closely related to the nature and can constantly to observe natural phenomena. Methodical guide can be used in education, as well as on the issue of human impact on nature.
Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior (modulo bisimulation). The book presents a set of equality relations induced by resource similarity and some algorithms finding similar resources in ordinary Petri nets and other formal models: nets with silent moves, high-level and nested Petri nets. The book is designed for scientists, professors and post-graduate students interested in formal models of concurrent and distributed systems.