Explicit-controller Design For Controlled Petri Net Based On Simplification

Discrete Event Dynamical System (DEDS) has been widely used due to the development of computer and network technology. Using Petri net to simulate and analyze this kind of system is very common because it has the advantage of graphical and distributed characteristics.At present, one of the hot issues about Petri net monitor theory is involved with the research of forbidden states, which has the problem of state explosion. It makes lots of sense to a real system, especially the real time system to reduce the on-line calculation, shorten the on-line computing time, or design the explicit-controller. The present dissertation is mainly concerned with the explicit-controller design for two new subclass of controlled Petri net based on simplification. The structure and property of such Petri net is defined and analyzed, futher more, a simplification method which ensures the bound is also proposed.The ST-workflow part: Firstly, a new subclass of Petri net named ST-workflow is formally defined. Then, its property and its impact to the entire system as a subnet are also studied. Finally, the method to design the explicit-controller for such a class of controlled Petri net is also proposed.The resource-distribute workflow part: Firstly, resource-distribute workflow, which extends the field that the resource-constrained workflow applies, is introduced. Then, its property and behaviors under different markings are discussed. Finally, the use of resource-distribute workflow in explicit-controller design is also studied.