Ivan V. Romanov

Learn More
In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources , produced/consumed by two services — a necessary condition for the service(More)
  • 1