We revisit the parameterized model checking problem for token-passing systems and specifications in indexed CTL∗\X. Emerson and Namjoshi (1995, 2003) have shown that parameterized model checking of indexed CTL∗\X in uni-directional token rings can be reduced to checking rings up to some cutoff size. Clarke et al. (2004) have shown a similar result for general topologies and indexed LTL\X, provi...

This paper presents a fuzzy queuing location model for congested system. In a queuing system there are different criteria that are not constant such as service rate, service rate demand, queue length, the occupancy probability of a service center and Probability of joining the queue line. In this paper with fuzzifying all of these variables, will try to reach an accurate real problem. Finally w...

Cost and operation of inventory depends a great deal on what happens to demand when the system is out of stock. In real inventory systems, it is more reasonable to assume that part of the excess demand is backordered and the rest is lost. However, the amount of backorders (or lost sales) often incurs disturbance due to various uncertainties. To incorporate this reality, this article attempts to...

The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them are studied. It is shown that categories related to fuzzy topology as well as categories related to rough sets can be described as special subcategories of the category of M-approximative systems. Keywords— Approximative operator...

Given a group (G, ·), G ⊆M, definable in a first order structureM = (M, . . .) equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V ⊆ G and define a new topology τ on G with which (G, ·) becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from M. Likewise we topologize tra...

Let $R$ be a $G$-graded ring and M $R$-module. We define the graded primary spectrum of $M$, denoted by $\mathcal{PS}_G(M)$, to set all submodules $Q$ such that $(Gr_M(Q):_R M)=Gr((Q:_R M))$. In this paper, we topology on $\mathcal{PS}_G(M)$ having Zariski prime $Spec_G(M)$ as subspace topology, investigate several topological properties space.