Process-translatable Petri nets for the rapid prototyping of process control systems