The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Military modelling and simulation plays a key role in troops training as well as in verification of military scenarios. Most of topics in the modelling of military performance were already successfully implemented into the simulators (like troops moving, fighting, aircraft simulation, etc.) however the simulation of surface (ground) based air defence systems capabilities are not fully developed now...
This paper focuses on modelling and performance evaluation of an Intermodal Freight Transport Terminal (IFTT), the rail-road inland terminal of a leading Italian intermodal logistics company. The IFTT is regarded as a discrete event system and is modelled in a timed Petri net framework. By means of suitable performance indices, we simulate the Petri net model and evaluate the operational performance...
In this paper, we study the problem of accumulated tokens in a timed Petri net modeling our system and its interaction with the environment. This system consists of a robot, a programmable automaton and a computer. The execution of different tasks must be done with respect to some temporal constraints. So, we use the temporal Petri nets to model the whole system and also its verification. We describe...
A new tool for non-autonomous hierarchical systems modelling is proposed in this article. This tool is used for the modelling of monitoring functions and integrates the fuzzy logic in the temporal aspect of the events occurrence. The tool is also suited for the development of the hierarchical and distributed typologies structures and in modelling of recurrent functions. The proposed hierarchical systems...
This paper proposes a new approach for biologically inspired computing on the basis of gene regulatory networks (GRNs). It is important to note that the choice of an appropriate modeling formalism is dependent upon the aim of the study. GRNs are models of genes and gene interactions at the expression level. The advent of microarray technology has challenged computer scientists to develop better algorithms...
Urban traffic systems are usually complex systems which require dedicated modeling methodologies. In this paper, the "traffic flows" in the urban traffic systems is modeled as continuous variable dynamic systems (CVDS) and the "decision maker + traffic lights" of the traffic systems is modeled as discrete event dynamic systems (DEDS). So the entire urban traffic system can be modeled...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.