Cite
HARVARD Citation
Clempner, J. (2017). Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification. Journal of experimental & theoretical artificial intelligence. 29 (1), pp. 43-57. [Online].