Műegyetemi Digitális Archívum
 

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