Generating a Petri net from a CSP specification: a semantics-based method
Enter the following information to request a copy of the document from the responsible person