Skip to content

Commit

Permalink
center image in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
brian1062 committed Nov 28, 2024
1 parent c2108e8 commit cd25ae3
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
5 changes: 4 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,10 @@ donde $I^T$ es la transpuesta de la matriz de incidencia y $x$ un vector caracte

### Análisis de invariantes:
#### Invariantes de Plaza
![combined_incidence_matrix](/images/invariantes_plazas.png)

<p align="center">
<img src="/images/invariantes_plazas.png">
</p
Un uno en una posición indica que esa plaza es parte de la invariante y un cero indica lo contrario.
Expand Down
4 changes: 1 addition & 3 deletions src/main/java/Monitor.java
Original file line number Diff line number Diff line change
Expand Up @@ -88,10 +88,8 @@ public boolean petriNetHasFinished() {
* @param message the message to write to the log file.
*/
private void writeLog(String message) {
try {
FileWriter writer = new FileWriter(LOG_PATH, true);
try (FileWriter writer = new FileWriter(LOG_PATH, true)) {
writer.write(message + "\n");
writer.close();
} catch (IOException e) {
e.printStackTrace();
}
Expand Down

0 comments on commit cd25ae3

Please sign in to comment.