Batch i i in f Asset Capability
Right or Wrong? – Verification of Model Transformations using Colored Petri Nets*