DCR-Choreographies/EDP-Use-Case.md

 # Overview
 
-An Energy Community is a network of local consumers and producers that efficiently share energy resources. In these communities, "prosumers" both produce and consume energy. For instance, homes equipped with solar panels generate energy, while electric vehicles or batteries act as consumers. Using automated systems, prosumers can send energy requests and make offers, optimizing local energy exchange in a decentralized manner.
+An Energy Community is a network of local consumers and producers that efficiently share energy resources. In these communities, "prosumers" can both produce and consume energy. For instance, homes equipped with solar panels generate energy, while electric vehicles or batteries act as consumers. Using automated systems, prosumers can send energy requests and make offers, optimising local energy exchange in a decentralized manner.
 
 Below, we present an extension of the ReGraDa language to model this use case:
 
@@ -78,7 +78,7 @@ To emulate the intended behavior, we execute the `consume` event of `P(0)` which
 (reject_2: reject) (Z;Z) [?] [P(0) -> P(2)]
 ```
 
-To define the process flow, we use arrows representing relations between events ([doc](DCR%20Choreographies)). These arrows indicate the requirement for either acceptance or rejection of each request.
+To define the workflow, we use arrows representing relations between events ([doc](DCR%20Choreographies)). These arrows indicate the requirement for either acceptance or rejection of each request.
 
 ```ruby