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.