Access the full text.
Sign up today, get DeepDyve free for 14 days.
B. Zeigler, T. Oren (1979)
Theory of Modelling and SimulationIEEE Transactions on Systems, Man, and Cybernetics, 9
Ph.D. dissertation. School of Computer and Information Science
(1992)
Received Julv March
E. Horowitz (1984)
Fundamentals of programming languages (2. ed.)
P. Glynn (1989)
A GSMP formalism for discrete event systemsProc. IEEE, 77
C. Overstreet, R. Nance (1985)
A specification language to assist in analysis of discrete event simulation modelsCommun. ACM, 28
S. Narain (1991)
An axiomatic basis for general discrete-event modeling1991 Winter Simulation Conference Proceedings.
J. Kosecka (1992)
Control of Discrete Event Systems
Mark Brown (1984)
Generalized quantifiers and the square of oppositionNotre Dame J. Formal Log., 25
Fausto Giunchiglia, T. Walsh (1992)
A Theory of AbstractionArtif. Intell., 57
Y. Shoham (1987)
Temporal Logics in AI: Semantical and Ontological ConsiderationsArtif. Intell., 33
J. Barwise, R. Cooper (1981)
Generalized quantifiers and natural languageLinguistics and Philosophy, 4
(1981)
Introduction to Montague Semanttcs
J. Kamp (1968)
Tense logic and the theory of linear order
Artif. Intell
Commun. ACM
James Allen (1984)
Towards a General Theory of Action and Time
Fred Krögr (1987)
Temporal Logic Of Programs
David Kelley (1984)
A theory of abstraction.
(1994)
ACM Transactions on Modeling amd Computer Smmlation
Bruce Cota, R. Sargent (1992)
A modification of the process interaction world viewACM Trans. Model. Comput. Simul., 2
J. Robinson (1979)
Logic, form and function
P. Ramadge, W. Wonham (1989)
The control of discrete event systemsProc. IEEE, 77
D. Touretzky (1984)
The Mathematics of Inheritance Systems
J. Barwise (1985)
Chapter I: Model-Theoretic Logics: Background and Aims
(1987)
Temporal Logic o,f Progrums. EATCS Monograph OIL Theo- retical Computer Science
Univ. of California
R. Nance (1981)
The time and state relationships in simulation modelingCommun. ACM, 24
B. Zeigler (1984)
Multifacetted Modelling and Discrete Event Simulation
B. Zeigler (1990)
Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems
(1985)
Communtcattng $equentzal Processes
(1971)
Simulation langllages. In Computer Simulation Experiments with Models of Eco~wmic Systems
A. Radiya (1991)
A logical approach to discrete event modeling and simulation
J. Ostroff (1989)
Temporal logic for real-time systems
(1963)
Semantic considerations on modal logic. Acts PMos
P. Wolper (1981)
Temporal logic can be more expressive22nd Annual Symposium on Foundations of Computer Science (sfcs 1981)
(1986)
AND SERGOT, N/I
(1994)
ALoglc-based Foundation
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 L DE . The ways of expressing models using L DE 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 L DE 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.
ACM Transactions on Modeling and Computer Simulation (TOMACS) – Association for Computing Machinery
Published: Jan 1, 1994
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.