Event structures with higher-order dynamics - Softcover

Karcher, David S.

Softcover

ISBN 10: 3798329958 ISBN 13: 9783798329959

Publisher: Universitätsverlag TU Ber, 2019

Synopsis

Event Structure were introduced in 1979 [18] as a formal model to connect the theory of Petri nets and domain theory. Originally they consisted of atomic non-repeatable events, a binary causal dependency relation, and a binary conflict relation between those events. For a long time various extensions of the original formalism were used to define semantics for other structures such as classes of Petri nets and process calculi. In this thesis the Event Structures (ESs) are considered solely as a declarative modelling tool than as a formalism to define semantics for other structures. In order to model highly dynamic real-world processes (i.e. processes in which occurrences of events may change the dependencies of other events) with a concise model the dynamics must be an inherent part of the modelling formalism.Therefore, the Higher-Order Dynamic-Causality ESs (HDESs) were introduced. They consist of a finite set of atomic non-repeatable events, a causal dependency relation between these events, and a rule-based formalism for events to change the dependencies and the existing rules.This formalism is studied with the respect to its expressive power in comparison to transition systems, some subclasses of HDESs, and to Dynamic Condition Response Graphs (DCR-Graphs).A web tool was created in which HDESs can be defined and explored by executing events, creating the corresponding transition system, or even applying some predefined transformations.Ereignisstrukturen wurden 1979 als formales Modell eingefhrt um die Theorie der Petri Netze mit der Theorie der Verbnde zu verknpfen. Ursprnglich bestanden sie aus atomaren nicht wiederholbaren Ereignissen, einer binren kausalen Abhngigkeitsrelation und einer binren Konfliktrelation auf den Ereignissen. Lange Zeit wurden verschiedene Erweiterungen des Ursprungsformalismus genutzt, um Semantiken fr andere Strukturen zu definieren (z.B. Klassen von Petri Netzen und Prozesskalklen)

Edition details

• Publisher: Universitätsverlag TU Ber
• Publication date: 2019
• Language: English
• ISBN 10: 3798329958
• ISBN 13: 9783798329959
• Binding: Paperback