Open Petri nets: Non-deterministic Processes and Compositionality