The Modeling of Workflow Based on Object Oriented Timed Petri Net

沈明成,汪惠芬,张友良,刘婷婷

DOI: https://doi.org/10.3969/j.issn.1672-1616.2003.06.029

2003-01-01

Abstract:This paper introduces the basic definition of algebraic expression of common Petri net. The two methods on the time factor of timed Petri net are analyzed. Integrating object oriented modeling technique into Petri net gives birth to model of object oriented timed Petri net. It discusses the approach of setting up workflow model based on these methods. With the object oriented timed Petri net, it shows the workflow model of business process in a manufacturing enterprise, analyzes the liveness of the Petri net by means of the reachability tree.