Y. Y. Du and C. J. Jiang, “Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows,” Lecture Notes in Computer Science, Vol. 2495, 2002, pp. 221-225.

has been cited by the following article:

• TITLE: Architecture of Dynamic Service Composition Using Logic Petri Nets

  AUTHORS: Xia Jiang, Bing Wu, Yuyue Du

  KEYWORDS: Service Clustering, Service Composition, Architecture, Modeling, Petri net

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.4 No.10, October 11, 2011

  ABSTRACT: Services are preprocessed based on clustering techniques in the levels of function and similarily of services. Service clustering is modeled by means of the passing value indeterminacy of logic Petri nets. Thus service clustering can be described, and the services with indeterminacy parameters can be modeled formally. Thus service composition is investigated under the classified architecture of service clustering. The architecture of dynamic service composition is given, and logic Petri nets are used for service realization. Services can be combined rapidly and automatically, and the path of a composition service can be constructed by automatic inference.