Learn More
  • Karsten Wolf
  • Trans. Petri Nets and Other Models of Concurrency
  • 2009
Controllability for service models is a similar criterion as soundness for workflow models: it establishes a necessary condition for correct behavior of a given service model. Technically,(More)