and Security -- High-Level Petri Nets with Object-Orientation - A High-Level Petri Net