Modeling And Resource Optimizationusing Constraint Petri Net

With the economic globalization, enterprises are increasingly concerned about the business process management. While, as a mathematical modeling tool, Petri nets are increasingly being applied to business process management especially in quantitative analysis. The development of Petri nets benefit a lot from a variety of innovations in extended Petri nets, which enriched the description capacity of the basic Petri nets. But for all the extended Petri nets in the state of art, there is little discussion in the global resource constraints.This paper will present a Petri net with global resource constraints basing on the traditional generalized Petri net. Resource elements, Resource variables, rate function of resource-related timed transitions and resource allocation single-shot function will be added, which will make each timed transition associated with a resource and which will make the firing of each timed transition constrained by this resource. With this resource constraint Petri net, not only the interactions among the tasks can be modeled through the places, transitions and arcs, but also the resources which are available to the execution of these tasks can be modeled through the resource of the Petri net.A design and development of simulation application and a research on the resource allocation optimization algorithm will be performed basing on this resource constraint Petri net. The optimization algorithm is based on branch and bound method, which firstly determine the exploration path of resource allocation combination. In the process of exploring, weakened constraint conditions are used to calculate the upper and lower bounds of these nodes. Through the upper and lower bounds, some paths which are determined to need no more exploration will be pruned. This algorithm will find an optimized resource allocation solution with an aim of minimizing system response time within efficient delay.Resource constraint Petri net can be used to model a business process with finite number of available resources. While the simulation and optimization application can be used to find the optimized resource allocation solution for this business process. This paper will also verify the modeling capacities of this resource constraint Petri net through practical cases, as well as verify the sapplication through practical experiments.