<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> Over the last two decades, a great deal of research has been focused on solving deadlock problems in resource allocation systems such as computer communication systems, workflow and flexible manufacturing resulting wide variety approaches. As well-defined problem prevention based Petri net formalism received an enormous amount attention literature. This paper intends to review compare net-based...

With wafer residency time constraints for some fabrication processes, such as low pressure chemical-vapor deposition, the schedulability and scheduling problems are still open. This paper aims to solve both problems. A Petri net (PN) model is developed system. describes when robot should wait a modeled an event in explicit way. Thus, schedule single-arm cluster tool with constraint decide how long be. Based on this model, first time, we present necessary sufficient conditions under which...

Quality-of-service-based (QoS) service selection is an important issue of service-oriented computing. A common premise previous research that the QoS values services to target users are supposed be all known. However, many unknown in reality. This paper presents a neighborhood-based collaborative filtering approach predict such for QoS-based selection. Compared with existing methods, proposed method has three new features: 1) adjusted-cosine-based similarity calculation remove impact...

In its fabrication, a wafer must meet residency time constraints, i.e., it leave process chamber within certain after is done. It may need to visit some processing steps for number of times, called revisiting. For the typical revisiting atomic layer deposition (ALD), this paper studies scheduling problem dual-arm cluster tools with both constraints and To do so, Petri net model developed system. Then, based on one-wafer cyclic method previously by authors paper, schedulability conditions...

This paper presents a systematic approach to the disassembly line (DL) design in meeting requirement of variant orders for multiple used parts with different due dates. An extended Petri net model is proposed hierarchical modeling order derive path maximal benefit presence some defective components. algorithm balancing DLs maximize productivity system presented. The results simulation runs methodology and algorithms applied simplified personal computer are provided. work lays foundation...

The existing formal techniques are not suitable for elegantly modeling passing value indeterminacy and describing batch processing function in real-time cooperative systems. Moreover, the correct behavior of systems depends on only logical correctness results obtained through running workflows but also time producing them before critical deadlines. For these purposes, this paper proposes an interorganizational workflow net (ILWN) analyzing based Petri nets, techniques, temporal logic....

The total flavonoids of Periploca forrestii Schltr. (TFPF) exhibit notable anti-rheumatoid arthritis (RA) properties, highlighted by their inhibitory action on TNF-α. This study investigates the specific compounds TFPF responsible for TNF-α inhibition and delineates mechanism action. L929 cells luciferase-based assays were used to assess anti-TNF-α activity. Additionally, MH7A Wistar rats employed establish in vitro vivo models RA. Chemical chromatography, thermal proteome profiling (TPP),...

Emodin has shown certain anti-rheumatoid arthritis (RA) activity in preliminary studies. However, the precise mechanisms of emodin's anti-RA effects, particularly its direct targets, remain unclear. This study aimed to evaluate emodin and elucidate potential mechanisms, with a specific focus on identifying molecular targets. Employing collagen-induced (CIA) rat model, along transcriptomic analysis, thermal proteome profiling (TPP) TNF-α-induced L929 cell was confirmed, TNF-α as target....

Abstract In this paper, a novel switching control strategy for multimodal piezoelectric vibration energy harvesting (PVEH) systems using model predictive (MPC) is presented. Although conventional methods have been shown to be effective single-degree-of-freedom systems, they are often unable achieve optimal performance in environments owing the varying displacement amplitudes across different modes. To overcome limitation, mathematical multi-degree-of-freedom PVEH has developed, and an...

This paper presents a methodology for designing and implementing disassembly plans processes using Petri nets (PN) remanufacturing obsolete products. Process modeling planning PN are discussed. The proposed accommodate product topology precedence relations during disassembly. Decision values attached to enable consideration of uncertainty process execution. resulting planner guarantees the plan's optimality when parameters known. In cases about parameters, an adaptation scheme is designed...

In this paper, the evolving networks are created from a series of Sierpinski-type polygon by applying encoding method in fractal and symbolic dynamical system. Based on self-similar structures our networks, we study cumulative degree distribution, clustering coefficient standardized average path length. The power-law exponent distribution is deduced to be [Formula: see text] coefficients have uniform lower bound text]. Moreover, find asymptotic formula length proposed networks. These results...

A task' s end-to-end delay in its execution is a key requirement to real-time systems. This paper presents configurable state class method based on time Petri nets for their quantitative analysis. The proposed has flexible structure. firing domain separated into kernel that supports the basic evolution of classes, and used evaluate delays. Since both domains adopt uniform representation constraints, delays can be computed synchronously with classes via same rules. Firing rules are decomposed...

Particle Swarm Optimization (PSO) is a brilliant evolutionary algorithm adaptable to various kinds of optimization problems in distinct fields. However, when facing noisy environments, its performance suffers from unexpected noise. To address this issue, one the widely-used mechanisms resampling method that based on fact true objective value can be achieved by re-evaluations. Such allocates fixed number re-evaluations before running but cannot change allocations according current environment...

Change detection in remote sensing imagery is vital for Earth monitoring but faces challenges such as background complexity and pseudo-changes. Effective interaction between bitemporal images crucial accurate change information extraction. This paper presents a multistage network designed effective detection, incorporating at the image, feature, decision levels. At image level, directly extracted from intensity changes, mitigating potential loss during feature Instead of separately...

In this article, customers' strategic behavior and social optimation in a constant retrial queue with setup time the N-policy are investigated. Customers who find server isn't idle either leave forever or enter an orbit. After service, will seek customer from orbit at rate. The is closed whenever system becomes empty, activated when number of waitlisted customers reaches threshold. We obtain equilibrium arrival rates different states. There exist both Follow-the-Crowd (FTC) Avoid-the-Crowd...