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.
Cluster system has become infrastructure, which constructs high performance distributed systems. The quality of service (QoS) that offers for users will be affected by dependability at large. Stochastic Petri nets (SPN) is a kind of flexible modeling tool, and it has established matured theory system on the research of dependability. The SPN is taken advantage of to model front-end dispatcher and...
In the design and analysis of discrete event systems, the validation of their models is often addressed via simulation. Petri nets have been applied widely. Lookahead computation is a good method that improves the distributed simulation performance of Timed Transition Petri Nets (TTPN). The approach is based on a part of optimism computed on the prediction time each logical process can determine for...
To the research on the high level architecture (HLA) in the data distribution management (DDM), the essential target is to enhance the data filter efficiency, to reduce computing quantity at the same time, and to provide well scalability for some kind of distribution simulation application under the HLA standard. The colored Petri net has the characteristic that including the basic Petri net and the...
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.