Using High-Level Petri Nets with Object-Orientation for modeling Flexible Manufacturing Systems | IEEE Conference Publication | IEEE Xplore