An axiomatic basis for general discrete-event modeling

The author proposes DMOD, a novel formulation of the discrete-event technique (DET). It enables the user to directly specify the causality relation between events. Thereby, model building is greatly simplified. DMOD also defines event occurrences in a logical manner, which makes it possible to build a framework for formulating and proving temporal properties. An implementation of both DMOD models and the reasoning framework is shown using the logic of definite clauses.<
>