Translating Orc Features into Petri Nets and the Join Calculus