In: Lavagno, L.; Reisig, W.: Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98), pages 262-272. Fukushima, Japan: IEEE Computer Society Press, March 1998.
Abstract: Workflow management systems are a key technology for improving the effectivity and efficiency of business processes within one organization. Todays workflow management systems focus on processes focus on processes which are circumscribed by the bounds of an organization. However, most workflows cross organizational boundaries. Workflows may interact with individual customers, suppliers, subcontractors, and governmental departments. Moreover, phenomena such as electronic commerce, extended enterprises and the Internet stimulate the cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the boundaries of individual organizations. This paper models interorganizational workflows in terms of Petri nets and focuses on technologies to verify the correctness of these workflows.
Keywords: Petri nets, interorganizational workflows, workflow modeling.
Back to the Petri Nets Bibliography