Timing constraint workflow nets for workflow analysis

  title={Timing constraint workflow nets for workflow analysis},
  author={Jianqiang Li and Yushun Fan and Mengchu Zhou},
  journal={IEEE Trans. Systems, Man, and Cybernetics, Part A},
The analysis of the correctness and rationality of a workflow model plays an important role in the research of workflow techniques and successful implementation of workflow management. This paper points out the relevant problems in the verification and analysis of a workflow model. It discusses two important properties: schedulability and boundedness of a workflow model considering timing constraints. To specify the timing constraints, WorkFlow net [1] is extended with time information, leading… CONTINUE READING
Highly Cited
This paper has 95 citations. REVIEW CITATIONS
64 Citations
46 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 64 extracted citations

95 Citations

Citations per Year
Semantic Scholar estimates that this publication has 95 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 46 references

HOON-A Formalism Supporting Adaptive Workflows, Technical Report #UGA-CS-TR-97-005, Department of Computer Science, University of Georgia

  • Y. Han
  • 1997
Highly Influential
4 Excerpts

Kommunikation mit Automation

  • C. A. Petri
  • PhD thesis,
  • 1962
Highly Influential
5 Excerpts

Fundamentals of Workflow Management Technology

  • Y. S. Fan
  • 2001
Highly Influential
9 Excerpts

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems, Publication Interne

  • E. Badouel, J. Oliver
  • IRISA PI 1163,
  • 1998
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…