Generating a Petri net from a CSP specification: A semantics-based method | Publicación