Papers by Keyword: Time Petri Net

Abstract: A web service composition is able to create a new service by incorporating some existing web services. Currently, Web Service Business Process Execution Language or WS-BPEL is a promising language used to describe the web service composition. Since in the real world most of business processes have been involved temporal context and they are quite complex interaction, it is impossible to completely eliminate all failures in them. Therefore, a formal verification is required to assure the correctness and reliability of the web service composition. In this paper, timed trace theory has been applied to verify the web service composition with temporal constraints. Both safety and timing failures can be examined. Experimenting with a ticket reservation system, the proposed approach shows its effectiveness.

Abstract: Parallel test task scheduling is always complex and difficult to optimize. Aiming at this problem, an improved Genetic Simulated Annealing Algorithm based on Petri net is posed to. At first, a Petri net model is established for the system, then the transition sequence is used as task scheduling sequence set path. Genetic Algorithm is introduced in order to get the optimal path. In the process of search, the sequence will be able to stimulate changes as chromosomes, selection, crossover and mutation. In order to prevent premature convergence of the algorithm appears, into the phenomenon of local optimal solution, the individual needs simulated annealing operation, and finally, we can get the shortest time to complete the test task scheduling sequence.

Abstract: Time Petri net is a model method which describes the dynamic behavior of the system by the moving of token. This paper takes location of a nursing home in Xi’an as the research object. The best position is selected by building dynamic models with time Petri net, and solving the model with Ant Colony algorithm, based on considering some factors such as public transport, health and environment. Finally, the effectiveness of the method on the selecting of location is confirmed by empirical analysis.

Abstract: This paper presents a time Petri net model with the optimizing mechanism based on ant colony systems that addresses the problem of schedule optimization. The choice rules and pheromone update rules of artificial ants are embedded into the evolution rules of a time Petri net, so the modeling and scheduling analysis of real systems can be integrated into the same model. Compared with the approaches based on the heuristic search and genetic algorithms, our method efficiently unifies the modeling and analysis of schedule problems based on a time Petri net.

Abstract: An efficient and convenience model of business process plays a crucial role in scientific project management. Existing Petri net models lack the ability to cope with the time constrain of the business process. Thus the time factor was introduced to Petri net in this paper. The formal definitions of time Petri net were presented in details. The techniques to model the business process of scientific project management system with the time Petri net were discussed as well. A time Petri net model for an instance of scientific project management system was setup and study. The research results indicate the time Petri net is an efficient method to represent the scientific project management system.

Abstract: Complex manufacture collaborative design process is a dynamic process with uncertainty, which is a process with multi-task executing in a parallel manner. It has obviously time constraint, which has been few studied up to now. Temporary inference and simulation problem for complex manufacture design process are mainly studied in this paper. Firstly, a Petri net model for collaborative design process is proposed based on time Petri net theory and four temporary inference algorithms of ordering, paralleling, selecting and circling structures in collaborative design process. Secondly, the authors design and develop a visually modeling and simulating circumstance for collaborative design process temporary inference based on time Petri net. Temporary inference for the whole collaborative design process and optimization to design task can be implemented by this simulation software. Finally, collaborative design process for driver of chain-transportation-driven equipment is undertaken to shown the efficiency of the proposed method. Research in this paper affords a determinant principle for time arrangement of collaborative design task and it also affords schema scheduling.

Abstract: An extended Time Petri Net with condition information (ECTPN) is presented in this paper including two new attributes associated to place and transition that respectively represent input condition set and output condition set. Using the model can achieve multitask cooperation and competition and let token be able to select next transaction path according to inner information. Firstly, the Time Petri Net is introduced, and then a formal semantic meaning for ECTPN in terms of input and output items is defined. Finally, we give the denotation of ECTPN. Application shows that the ECTPN validate by using business modeling.