This is a tool for toying around with Higher-order Dynamic-causality Event Structures (HDES). While conventional Event Structures are quite mathematical descriptions of event dependencies, HDES allow events to dynamically alter the dependency structure. Thereby, they turn Event Strucutres into a formalism for modelling and discussing highly dynamic dependency situations, for example, medical workflows.

For more information on Higher-order Dynamic-causality Event Structures see:

• Higher-Order Dynamics in Event Structures ICTAC '15

The sources are available from: https://gitlab.tubit.tu-berlin.de/mtv/HDES.

The current version runs 100 % locally in your browser. We do not collect any data on how you use it. Still, we would appreciate if you tell us about your user experience, so we can improve the tool :).

The HDES Tool is developed at MTV TU Berlin by:

• Benjamin Bisping (https://mrkeks.net, ben@mrkeks.net)
• David S. Karcher (david.s.karcher@tu-berlin.de)

Supported by the DFG Research Training Group SOAMED.