Login / Signup

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

Julio B. Clempner
Published in: J. Exp. Theor. Artif. Intell. (2017)
Keyphrases
  • petri net
  • input output
  • numerical simulations