Skip to content

Commit

Permalink
AnkiBot: Automatically added missing IDs
Browse files Browse the repository at this point in the history
  • Loading branch information
AnkiTUM-Bot committed Feb 23, 2024
1 parent 0f4a628 commit 7383fb0
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions IN0009_GBS/modellierung.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,8 @@ cards:
2. Initialbelegung der Stelle (Semaphore)
- type: md_basic
id: 17 # (generated)
front: Ist das zu einem Erreichbarkeitsgraphen zugehörige Petrinetz eindeutig?
back: |+
back: |-
- Nein, es können Transitionen hinzugefügt werden, die niemals schaltbereit sind und folglich nicht im Erreichbarkeitsgraphen auftauchen.
- Kapazitäten sind nicht eindeutig.
- Kapazitäten sind nicht eindeutig.

0 comments on commit 7383fb0

Please sign in to comment.