查看文章

High-level Petri nets have been used to model systems in a variety of application domains, ranging from protocols to logistics. This paper addresses an application domain which is receiving more and more attention: workflows in offices and their management. High-level Petri nets are used to model (1) the workflow in an office environment and (2) the workflow management system to support the control of office work. In this way we will be able to formalize the main concepts. As a result we can use Petri net based analysis techniques to analyse the workflow in an office. Moreover, this formalization can be used to develop a prototype of a workflow management system.