Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology

The aim of this paper is to present the ability of Petri nets and component software technologies to face a kind of distributed workflow systems problems. These problems are characterized by collaborating between intra-originations and inter-origination. First, we will introduce how to modeling workflow by Petri nets. A Petri net is graphic formal method. We use Petri nets to modeling workflow that can be analysis workflow properties. Finally, we try to build a modeling architecture. This modeling architecture cites Petri nets and component software technology to modeling workflow in every organization. We called component architecture specification (CAS). The CAS model provides an effectively way to deal with large and complexity in the application of formal model. We focus on the workflow modeling by CAS.