Title :
An axiomatic basis for general discrete-event modeling
Author_Institution :
Bellcore, Morristown, NJ, USA
Abstract :
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
Keywords :
discrete event simulation; logic programming; DMOD; causality relation; definite clauses; discrete-event modeling; event occurrences; reasoning framework; temporal properties; Computational modeling; Discrete event simulation; History; Logic; Packaging; Power system modeling; Safety; Telephone sets;
Conference_Titel :
Simulation Conference, 1991. Proceedings., Winter
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-0181-1
DOI :
10.1109/WSC.1991.185726
