They have a formal semantics,[REF] they support concurrency, they are executable and they can be simulated, model-checked and used to undertake failure mode and effects analysis [REF].
They can be used equally well to model human processes, to analyse contracts,[REF] to represent forensic information, to represent biological systems, and numerous other applications.