2015 | OriginalPaper | Buchkapitel
Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern
verfasst von : Cong Liu, Qingtian Zeng, Hua Duan, Faming Lu
Erschienen in: Process-Aware Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Today’s workflow systems are crossing organizational boundaries and usually involve multiple organizations or partners, and the cross-organization workflow has received much public attention from both the academia and the industry. This way the property analysis as well as system control for a cross-organization workflow is very important. In this paper, we focus on a kind of loosely coupled workflow architecture with synchronous interaction pattern, i.e. each organization owns its private workflow process and can operate independently, and they need to synchronize through certain tasks. Its behavior description approach is obtained using the synchronized shuffle operation of Petri net language. It is proved that our approach benefits the behavior characterization of cross-organizational workflow with synchronous interaction pattern and can be further used to decide and control the fairness, liveness, deadlock and trap for the cross-organization workflow. A running case of cross-organizational medical diagnosis workflow is given to validate our approaches throughout the whole paper.