TU / e /AIS Group Technische Universiteit Eindhoven University of Technology Modeling Grid Workflows with Colored Petri Nets Carmen Bratosin, Wil van der.
Right or Wrong? – Verification of Model Transformations using Colored Petri Nets*