Hybrid, quantitative and qualitative process simulation by the generic bi-layered net model | IEEE Conference Publication | IEEE Xplore