Articles by YuYue Du (11)

Petri Net Methods of Constructing Kleene-Closure Operations of Regular Languages

WenJuan Lian, Hao Fan, YuYue Du and YongQuan Liang

Information Technology Journal 7 ( 4 ): 689 - 693 , 2008

Analysis and Verification of Dynamic Stock Trading Systems

Yuyue Du, Hong Zheng and Shuxia Yu

Information Technology Journal 7 ( 3 ): 466 - 473 , 2008

Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets

Wei Liu, Yuyue Du and Haichun Sun

Information Technology Journal 8 ( 6 ): 821 - 829 , 2009

Modeling Multimedia Synchronization using Petri Nets

Wei Liu and Yuyue Du

Information Technology Journal 8 ( 7 ): 1054 - 1058 , 2009

A Process Generation Approach of Dynamic Workflows Based Description Logics

FuXin Zhang and YuYue Du

Information Technology Journal 8 ( 7 ): 998 - 1005 , 2009

Modeling and Design for Dynamic Workflows Based on Flexible Activities

Peng Li and Yuyue Du

Information Technology Journal 8 ( 5 ): 750 - 756 , 2009

Towards a Formal Model for Grid Architecture via Petri Nets

Yuyue . Du, Changjun . Jiang and Yubin . Guo

Information Technology Journal 5 ( 5 ): 833 - 841 , 2006

Efficient Data Dissemination Scheme for the Urban Vehicular ad hoc Networks

Xingzhen Bai, Yongfa Hong, Yuyue Du and Zhengzhong Gao

Information Technology Journal 12 ( 9 ): 1696 - 1706 , 2013

Petri-net Modeling of Container-port Work Flo

Jianxin Liu, Yuyue Du, Peng Li and Yongfa Hong

Information Technology Journal 12 ( 9 ): 1845 - 1850 , 2013

An Approach of Data Mining Process Based on Stochastic Well-formed Workflows

Sha Jing and Yuyue Du

Information Technology Journal 13 ( 13 ): 2224 - 2228 , 2014

Service Compositon Based on Enhanced Logic Petri Nets

YuHui Ning, YuYue Du and ShuXia Yu

Journal of Applied Sciences 14 ( 19 ): 2246 - 2257 , 2014