Axioms for contextual net processes