Graph transformation planning with time and concurrency / vorgelegt von Steffen Ziegert, M.Sc.