Skip to Main Content
In order to improve reusability of collaborative workflow process model, minify complexity of model, enhance to descriptive ability for dynamic workflow, and solve stochastic problem with priority, the extended stochastic Petri nets based on the classic stochastic Petri nets is proposed. Firstly, we give a formal description for extended stochastic Petri nets. And then, an instance is given to explain how to modeling and system implementation based on Exspect for a workflow process with priority. Finally, we draw some conclusions for this research.