Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets