As some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded net can dramatically reduce its size, but this operation requires the unfolded net to be represente...

Many distributed systems are still too large to be handled. Thus, it’s important to find techniques that can be used to extend the size of the systems that can be verified and analyzed. In this paper, we study the qualitative and quantitative performance of the distributed systems that can be interacting with each other by using Temporized Stochastic Petri Net (TSPN) [5]. We consider then the c...

Aiming at the operation conflict problem of multi-objective, multi-path and multi-vehicle relay during mine locomotive under complex geological conditions, a modeling method based on an object-oriented stratified timed Petri net is proposed. In order to load transport materials as object oriented, which are combined with rules time constraints, underground roadway route carried out. addition, g...

Original scientific paper In this study a multi-objective formulation for optimal sizing and finally optimal operation of wind farm in distribution systems for maximizing net present worth of system is analysed. The proposed system in this study consists of upstream network i.e. 63 kV / 20 kV substation as main grid and wind turbines as DG to supply load. In this study, total net present worth ...

The sparse matrix-vector multiplication (SpMxV) is a kernel operation widely used in iterative linear solvers. The same sparse matrix is multiplied by a dense vector repeatedly in these solvers. Matrices with irregular sparsity patterns make it difficult to utilize cache locality effectively in SpMxV computations. In this work, we investigate singleand multiple-SpMxV frameworks for exploiting c...

[1] This study is one of the few attempts to close water and heat budgets in tropical lakes and reservoirs on both daily and monthly time scales. A water budget of Kranji Reservoir is constructed for the year of 2007 using data for water level, reservoir gate operation records, and inflow predicted by a catchment rainfall-runoff model. A heat budget of Kranji Reservoir is also constructed for a...

The sparse matrix-vector multiplication (SpMxV) is a kernel operation widely used in iterative linear solvers. The same sparse matrix is multiplied by a dense vector repeatedly in these solvers. Matrices with irregular sparsity patterns make it difficult to utilize cache locality effectively in SpMxV computations. In this work, we investigate singleand multiple-SpMxV frameworks for exploiting c...

The sparse matrix-vector multiplication (SpMxV) is a kernel operation widely used in iterative linear solvers. The same sparse matrix is multiplied by a dense vector repeatedly in these solvers. Matrices with irregular sparsity patterns make it difficult to utilize cache locality effectively in SpMxV computations. In this work, we investigate singleand multiple-SpMxV frameworks for exploiting c...

It is well known that the use of a modular approach for modeling has many advantages: it allows the modeler to consider different parts of the model independently of one another. A modular approach to analysis is also attractive: it often dramatically decreases the complexity of the analysis task. To create Petri net models of large systems, four bottom-up techniques, consisting of sharing oper...

abstract regarding temporal variation of rivers discharge and demands, for suitable use of dam reservoirs stored water, application of operation rule curves is necessary. operation rules are expressed with rule curves. application of yield model is one of the methods of operation curve preparation, which correlates reservoir operation with reservoir storage volume in first period. in this study...