Knowledge systems are characterized by being active, uncertain and adaptive in pervasive computing environments, and Fuzzy Event-Condition-Action (ECA) rules can effectively describe these features of knowledge systems. To analyze the static structure and dynamic behavior of fuzzy ECA rules, a fuzzy colored time Petri net model (FCTPN) is proposed. The FCTPN is able to model the fuzzy ECA rules...

The evaluation of quality of the railway passenger service is an important way to know the quality of the railway passenger service. This paper firstly constructs an evaluation indicator system of the quality of the railway passenger service on the foundation of the related literatures, and constructs the multiple-attribute evaluation matrix and indicator weight vector based on the linguistic v...

A cooperative multi-robot system (CMRS) modeling method called fuzzy timed agent based Petri nets (FTAPN) is proposed in this paper, which has been extended from fuzzy timed object-oriented Petri net (FTOPN). The proposed FTAPN can be used to model and illustrate both the structural and dynamic aspects of CMRS, which is a typical multi-agent system (MAS). At the same time, supervised learning i...

Automatic image annotation (AIA) is the process by which metadata, in form of keywords or text descriptions are automatically assigned to an unlabeled image. Generally, two problems can be distinguished: the problem of semantic extraction, due to the gap between the image features and object labels, and the problem of semantic interpretation, due to the gap between the object labels and the hum...

This paper deals with modeling of flexible manufacturing systems (FMS) under uncertainties and evaluation of multi criteria decision making approach for online scheduling. To represent uncertain events in FMS, such as failure of machine tools, repair time, and processing time, we develop Stochastic Petri nets for constructing the FMS model. For obtaining an online real-time efficient schedule o...

Helper T(Th) cells regulate immune response by producing various kinds of cytokines in response to antigen stimulation. The regulatory functions of Th cells are promoted by their differentiation into two distinct subsets, Th1 and Th2 cells. Th1 cells are involved in inducing cellular immune response by activating cytotoxic T cells. Th2 cells trigger B cells to produce antibodies, protective pro...

There exist many diierent Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are suucient for describing most classical Petri net formalisms. Since these aspects are independent of each other, we call them the Dimensions of Petri Nets.

Moving objects database (MOD) contains the information (locations and times) of moving objects, e.g., taxicabs, trucks, airplanes, polar bears, etc. This information continuously changes and thus needs to be updated frequently in order to maintain the accuracy and usefulness of the information. This paper presents a fuzzy-timing Petri net model for updating a MOD and a method for estimating the...

Aiming at the difficulty in establishing model to describe vehicle running state, real road test was carried out to capture data which represent the movement of vehicles. Coordinate transformation method and transform relationship among different variable parameters were used to establishing represent model of vehicle movement. By using Petri net which had well layering and time sequence, vehic...

Petri nets have become a mature modelling and analysis tool applicable in many application domains. Since the introduction of the Petri net concept in 1962 (Petri 14]), Petri nets have been investigated and applied by many researchers. Many extensions of the classical Petri net have been proposed. To model attributes, `colour' has been added. Time concepts have been added to describe the tempor...