From 7383fb099d1ea0e00706a9968ec9464a6bec0af0 Mon Sep 17 00:00:00 2001 From: AnkiTUM-Bot Date: Fri, 23 Feb 2024 09:58:59 +0000 Subject: [PATCH] AnkiBot: Automatically added missing IDs --- IN0009_GBS/modellierung.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/IN0009_GBS/modellierung.yaml b/IN0009_GBS/modellierung.yaml index 309b720..45732dc 100644 --- a/IN0009_GBS/modellierung.yaml +++ b/IN0009_GBS/modellierung.yaml @@ -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. \ No newline at end of file + - Kapazitäten sind nicht eindeutig.