Towards a general theory of action and time
Artificial Intelligence
A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
Communicating sequential processes
Communicating sequential processes
Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
A logic-based calculus of events
New Generation Computing
Temporal logic of programs
The mathematics of inheritance systems
The mathematics of inheritance systems
Fundamentals of programming languages (2nd ed.)
Fundamentals of programming languages (2nd ed.)
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Temporal logic for real time systems
Temporal logic for real time systems
Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Artificial Intelligence
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
An SDS modeling approach for simulation-based control
WSC '05 Proceedings of the 37th conference on Winter simulation
| Hi-index | 0.00 |
A logic-based foundation of discrete event modeling and simulation is presented by defining (1) its fundamental concepts and terms from a perspective commonly held by logicians, (2) a modal Discrete Event Logic LDE. The ways of expressing models using LDE are discussed and compared with the ways of expressing models in simulation languages that support the event scheduling world view. The logic-based foundation provides fundamentally new insights. It asserts that events are logical propositions and the use of temporal operators is implicit in discrete event modeling and simulation languages. However, existing languages utilize only a few temporal operators in a restricted manner. The logic-based foundation enhances the ways of expressing models by using the operators implicit in existing languages in more general ways, new operators, and a parallel connective ||. The logic LDE and notions implicit in it form a new framework for understanding, defining, and studying logical combinations of events, variables, and time, and expressions containing a wide range of temporal operators including next, if, when, whenever, until, while, unless, and at.