Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

@article{Sidorova2011SoundnessVF,
  title={Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible},
  author={Natalia Sidorova and Christian Stahl and Nikola Trcka},
  journal={Inf. Syst.},
  year={2011},
  volume={36},
  pages={1026-1043}
}
A conceptual workflow model specifies the control flow of a workflow together with abstract data information. This model is later on refined by adding specific datadata information. This model is later on refined by adding specific data information, resulting in an executable workflow which is then run on an information system. It is desirable that correctness properties of the conceptual workflow are transferable to its refinements. In this paper, we present classical workflow nets extended… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

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

Business Process Management

Lecture Notes in Computer Science • 2013
View 10 Excerpts
Highly Influenced

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net

2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC) • 2017
View 1 Excerpt

67 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

References

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

Similar Papers

Loading similar papers…