0

I have a workflow net (petri net) and I have to implement an algorithm to verify if it is k sound correct.

agf
  • 171,228
  • 44
  • 289
  • 238
Lidia Cotovanu
  • 1
  • 1
  • 1

1 Answers1

0

You know, there is just an awful lot of work on that recently.

This paper includes an algorithm for deciding k-soundness. But be cautious, because this paper indicates that k-soundness in the presence of certain extensions is undecidable.

Charlie Martin
  • 110,348
  • 25
  • 193
  • 263