A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems