Title Logistikos sistemų formalus imitacinis modeliavimas /
Translation of Title Formal simulation modeling for logistic systems.
Authors Liorenšaitytė, Vilma
Full Text Download
Pages 54
Keywords [eng] simulation model ; distributed systems ; formal specifications ; DEVS ; PLA
Abstract [eng] At present, a large number of modeling and simulation techniques and tools have been developed to deal with complex business systems. In this paper, we concentrate on scenario illustrating, how simulation models can be integrated in to business management system. Different infrastructure forms are possible, because services may be implemented on single machine or distributed throughout several companies’ networks. In this paper a concept will be analyzed - how to combine different simulation models. The technology for involvement of simulation models in to information systems will be created. Also the problem of simulation model transformation in to program code will be solved. For model formalization we can use a method of Piece-Linear Aggregates (PLA) that belongs to the class of time automata model. PLA method is close to Discrete Event Simulation (DEVS) formalism, which is used to create wide purpose simulation models.
Type Master thesis
Language Lithuanian
Publication date 2007