Learn More
In this paper we propose a graph transformation based approach and a tool for transforming business patterns to Colored Petri nets for which efficient analysis techniques exist. First, we specify business patterns and Colored Petri nets MetaModels in UML Class Diagram formalism with the Meta-Modelling tool Atom3, then we generate visual modelling tools(More)
  • 1