At present, the resource modeling of workflow net (WF-net) are too simple to describe complex workflow. Thus, its application is not satisfying in practical use. Based on the analysis of resource management problems, unified resources management which gets the identical resource request and release process is proposed. The method of identical resource-modeling reduces complexity of WF-net model...

A novel fuzzy reasoning method, called FSI (fuzzy similarity inference) is investigated in this paper. Firstly, the unified forms of FSI which the diverse implication operators can be employed are proposed. And the computational formulas for both fuzzy modus ponens (FMP) and fuzzy modus tollens (FMT) are obtained. Secondly, the unified forms of α-FSI method are established, and the formulas for...

We provide a new method to study the classical Dirichlet problem for Laplace's equation on a convex polyhedron. This new approach was motivated by Fokas' unified method for boundary value problems. The central object in this approach is the global relation: an integral equation which couples the known boundary data and the unknown boundary values. This integral equation depends holomorphically ...

Verification of communication protocols usually involves two parts: a state-machine analysis of the control structure and proving some assertions about the semantic content of the protocol' s actions. The two parts are traditionally, treated separately. This paper suggests that the two approaches are not independent but rather complementary. It intro duces a unified model for protocols (and gen...

Tristimulus values (TSV) form the basis of colorimetry. They are transformed to other colorimetric coordinates for industrial applications such as colour specification, colour quality control, colour difference evaluations, device characterization for cross-media colour reproduction and recipe formulation. Accurate calculation of TSVs is highly desired by industry for open environment communica...

We deal with finite-buffer queueing systems fed by a Markovian point process. This class includes the queues of type M/G/1/N, M/G/1/N, PH/G/1/N, MMPP/G/1/N, MAP/G/1/N, and BMAP/G/1/N and is commonly used in the performance evaluation of network traffic buffering processes. Typically, such queueing systems are studied in the stationary regime using matrixanalytic methods connected with M/G/1-typ...