Preprints of IIS SB RAS, 1997

A project of the information system SIMICS for humanity investigations in the field of culture is considered. This information system is aimed at processing of knowledge in the field of modern music and cinema and also in the field of informatics history so far as we regard it as an element of the culture in the modern society. We tried to reflect regional features during gaining information data for this information system. A descriptions of a themes peculiarity of information system and its structure are given. The information system SIMIKS is intented for art critics, teachers and students of a conservatoire, institutes and faculties of the culture and for everyone who is interested in the problems and hystory of the modern culture.

R. Glabbeek and U. Goltz have introduced a number of bisimulations on event structures: interleaving, step, pomset, history preserving, and established their relationships. F. Cherief considered the variant of back-and-forth bisimulation in interleaving semantics. The notion of weak bisimulation were investigated for labelled transition systems by R. Milner. In this paper the back-and-forth variants of bisimulations in different semantics are considered for event structures, a number of bisimulations, reflecting explicitly concurrency and conflict between events in a structure, are defined. The weak variants (taking into account the invisible nature of silent move) of the mentioned bisimulations are introduced. The complete hierarchy of the all considered equivalence notions was established in the paper. For each recently introduced bisimulation we investigated the question about its preservation under the operation of action refinement. was established.