keywords Computer Science Computer Science, Theory & Methods Petri nets Science & Technology Technology process algebra refinement