Műegyetemi Digitális Archívum

Model Transformation from General Resource Models to Petri Nets using Graph Transformation