Scenarios in Event Bushes

Abstract

This chapter presents a further step of the formalization of the event bush method by means of graphs and graph homomorphisms. First, the authors revise an analysis of the structure of event bushes by means of bipartite structure graphs that are equipped with a multi-flow structure. They consider event bushes as a compact description of a set of alternative scenarios of directed changes of environments. They give a first formalization of the concept of scenario. A snapshot describes the state of an environment, which evolves in accordance with a given scenario at a certain moment in time. A sequence of snapshots describes how an environment may evolve over time. Cartoons are maximal sequences of snapshots. The authors discuss, define, and exemplify the concepts scenario, snapshot, and cartoon.