
	Information Technology Journal
	Year: 2009 \| Volume: 8 \| Issue: 6 \| Page No.: 821-829 DOI: 10.3923/itj.2009.821.829

Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets

Wei Liu, Yuyue Du and Haichun Sun

Abstract: Interorganizational Logical Workflow Nets (ILWN) can efficiently model cooperative systems based on Petri nets, workflow techniques and temporal logic. But soundness of arbitrary ILWNs is hard to decide. This study defines the concept of T-restricted Logical Workflow Nets (LWN) and proposes an important subclass of ILWNs composed of n T-restricted LWNs: T-restricted ILWNs. The sufficient and necessary conditions of T-restricted ILWNs preserving soundness are obtained and the rigorous analysis approach is presented based on their static net structures only. Moreover, two approaches of combining n T-restricted LWNs into one T-restricted ILWN are given. The concepts and techniques proposed in this study are illustrated with a useful example of an auto gas station system.

PDF Fulltext XML References Citation Report Citation

RELATED ARTICLES:

•	Soundness Analysis of Logic Service Net Based on Service Clusters

•	Non-combining Incremental Relaying Protocol for Amplify-and-forward Cooperative Systems

•	Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions

•	Logic Petri Nets and Equivalency

•	Soundness Analysis of Inter-Organizational Workflows

How to cite this article:

Wei Liu, Yuyue Du and Haichun Sun, 2009. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets. Information Technology Journal, 8: 821-829.

DOI: 10.3923/itj.2009.821.829

URL: https://scialert.net/abstract/?doi=itj.2009.821.829

COMMENT ON THIS PAPER

Navigation


		Online First
		Current Issue
		Previous Issues
		Editorial Board
		Submit a Manuscript
		Guide to Authors
		Subscribe to E-alerts

Indexed In


		ASCI-Database
		Asian Digital Library
		Google Scholar

Science Alert