Compositional Modeling of Reactive Systems Using Open Nets