Lai Kuen So

Dissertation: Automatic code generation for simulation programs using Petri net models