|
|
> TODO
|
|
|
|
|
|
# Examples
|
|
|
|
|
|
> TODO (example description)
|
|
|
|
|
|
## EDP Prosumer Community
|
|
|
|
|
|
> TODO
|
|
|
#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. Below, we present an extension of the ReGraDa language to model this use case:
|
|
|
|
|
|
```ruby
|
|
|
# roles
|
... | ... | |