Information Technology Journal1812-56381812-5646Asian Network for Scientific Information10.3923/itj.2009.821.829LiuWei DuYuyue SunHaichun 6200986Interorganizational 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.]]>Alur, R. and M. Yannakakis,1999Corbett, J.C.,1996Du, Y.Y., C.J. Jiang and M.C. Zhou,2007Du, Y.Y., C.J. Jiang and M.C. Zhou,2008Du, Y.Y. and B.Q. Guo,2009Murata, T.,1989Prisecaru, O. and T. Jucan2008Sun, H.C. and Y.Y. Du,2008Van der Aalst W.M.P.,1999Van der Aalst, W.M.P.,2000Van der Aalst, W.M.P.,2003Verbeek, H.M.W., A. Hirnschall and W.M. P. van der Aalst,2002