Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!rutgers!sgigate.sgi.com!enews.sgi.com!ames!hookup!yeshua.marcam.com!news.mathworks.com!udel!gatech!swrinde!cs.utexas.edu!uunet!walter!latour!narain
From: narain@latour.bellcore.com (Sanjai Narain)
Subject: Papers on discrete-event simulation 
Message-ID: <Cz0vLz.FKK@walter.bellcore.com>
Sender: narain@latour (Sanjai Narain)
Nntp-Posting-Host: latour.bellcore.com
Organization: Morristown Research and Engineering
Date: Wed, 9 Nov 1994 22:53:59 GMT
Lines: 50

Below are two published papers on a new approach to discrete-event 
simulation and its application. 

--------------------------------------------------------------------------
                 Symbolic Discrete-Event Simulation
                    Sanjai Narain & Ritu Chadha

The event-scheduling view of the discrete-event simulation technique
is widely used to model and simulate dynamic systems.  This paper
presents DMOD, a formalization of this technique.  It offers two main
advantages.  First, it retains the powerful intuitions behind this
technique yet makes it easier to use them. In particular, it proposes
a new method for logically specifying event preemption.  Second, DMOD
permits temporal reasoning about modeled systems.  This is done by
means of symbolic simulation, i.e.  simulation in which input
parameters can be constrained variables.  Symbolic simulation yields
histories parameterized by input variables.  Simple manipulation of
symbolic histories allows proof of a range of temporal properties such
as safety, possibility, or sensitivity.  Restrictions upon models are
outlined which allow symbolic simulation to proceed efficiently.  DMOD
is illustrated by means of a hybrid system, a railroad crossing with
continuous, non-linear state and discrete events. DMOD has been
implemented in Prolog and CLP(R) and applied to analysis of a variety
of industrial systems.

To appear in Discrete-Event Systems, Manufacturing Systems and
Communication Networks, Editors: P.R. Kumar and P. Varaiya, LNCS, 
Springer Verlag  (1994)
--------------------------------------------------------------------------
	A FORMAL MODEL OF SONET'S ALARM-SURVEILLANCE PROCEDURES AND 
			THEIR SIMULATION

			Sanjai Narain
			Orville Cockings
			Ritu Chadha 

SONET is a physical layer standard for fiber-optics equipment.  We have
developed PHOTON, a research prototype software system for simulating
a subset of SONET. PHOTON is intended to analyze interoperability,
i.e. the ability of SONET equipment from different manufacturers to
work with one another.  This paper describes the implementation of
PHOTON. The implementation was done using DMOD, a formalization of the
powerful discrete-event modeling & simulation technique. The paper
shows how complex abstractions of SONET were modeled compactly with
DMOD. The paper concludes with an evaluation of DMOD especially w.r.t.
existing discrete-event modeling & simulation systems.

Published in IFIP Transactions, Formal Description Techniques, VI, 
Editors: R. Tenny, P. Amer, M. Uyar (1993) 
--------------------------------------------------------------------------
