Integrated Structure and Semantics for Reo Connectors and Petri Nets