Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification

Julio B. Clempner. Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification. J. Exp. Theor. Artif. Intell., 29(1):43-57, 2017. [doi]

Abstract

Abstract is missing.