In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 1, pages 812-817. 1999.
Abstract: This paper proposes a new technique that combines simulation and numerical techniques and using interval arithmetic techniques for the analysis of large discrete event systems. A system is first divided into several layers. Identifying subsystems that can be modeled in isolation solves a system for each layer. In each subsystem, the Markovian assumption allows us to establish a set of linear equality constraints among the expectation of state variables in the Petri net, such as numbers of tokens in the places. A pseudo random process is responsible for the timing of the model, event times are completely determined by simulation. Thus, linear equality constraints are computed according to the pre-simulated event times, and it is possible to know the probabilities of interactions between subsystems.
Keywords: Petri nets, interval arithmetic, simulation methods.