Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, we propose a service composition oriented grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. Based on this, we present a Petri net based grid workflow verification and optimization toolkit, called PGWFT, to help common users describe workflow instances and perform verification and optimization analysis. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Cao, H., Jin, H., Wu, S., & Tao, Y. (2008). PGWFT: A petri net based grid workflow verification and optimization toolkit. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5036 LNCS, pp. 48–58). https://doi.org/10.1007/978-3-540-68083-3_8
Mendeley helps you to discover research relevant for your work.