As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) systems has became increasingly common and important, a challenging problem faced by researchers and developers of DRE software is devising and implementing an method that can effectively analyze requirements in varying operational conditions. In this paper, a Hierarchical Distributed Realtime Embedded ...

The paper is concerned with processes of Petri nets. A partial operation on such processes is defined that allows one to concatenate processes whenever one process is a continuation of another. It is shown that for any Petri net as defined in the paper its set of processes equipped with this operation forms a category in which independence of processes can be characterized in a natural, purely ...

A method is presented for the robust design of ¯exible manufacturing systems (FMS) that undergo the forecasted product plan variations. The resource allocation and the operation schedule of a FMS are modeled as a colored Petri net and an associated transition ®ring sequence. The robust design of the colored Petri net model is formulated as a multi-objective optimization problem that simultaneou...

In municipal waterworks the operation of water and wastewater networks decides about the functioning of the sewage treatment plant that is the last element of the whole water and sewage system. The both networks are connected each other and the work of the water net affects the operation of the wastewater one. The parameters which are important for right leading of all waterworks objects are th...

“World Energy Outlook 2021” has mentioned the fact that with current pledges announced, 2050 net-zero carbon emission target would not be realized. To further improve energy efficiency, integration will important. Therefore, this paper introduced virtual power plant (VPP) and to gas (P2G) technology analyze improvement of integration. Firstly, structure VPP connected P2G is proposed, physical o...

The paper is concerned with the computation of a generator set for the space of all place invariants for a given algebraic net. We will show that the problem can be divided into two major steps. First we trace back the problem to a set of equations between terms. Then we combine the solutions of these equations to obtain the solution of the original problem. For both steps we present a solution...

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over “weakened” state values. This technique has long been practiced with logic simulators, using the value X to indicate a signal that could be either 0 or 1. This concept can be formally extended to a wider class of circuit models and signal values, yielding lattice-structured state domains. ...

As the interconnection of distributed generation (DG) and energy storage system (ESS), the operation of DG/ESS should be optimized and coordinated. The intermittence of renewable energy and the error of the load forecasting, which is usually taken as the raw data of the global optimization algorithm, cause difference between the actual and the optimal operating status of the network. Feeder Con...

ABSTRAm We describe the concepr of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers the promise of increased performance and provides a useful medium for exploring and developing new problem-solving techniques. We present a framework called the contract ...