Attachments

		Name	Size	Creator	Creation Date	Labels	Comment
		PNG File State Activation Semantics option.png	45 kB	Inga A.	Sept 22, 2023 10:41	No labels
		Version 1 (current)	45 kB	Inga A.	Sept 22, 2023 10:41
		PNG File stateActivationOption.png	54 kB	Inga A.	Sept 22, 2023 10:41	No labels
		Version 1 (current)	54 kB	Inga A.	Sept 22, 2023 10:41
		PNG File stateActivationSemantics.png	54 kB	Inga A.	Sept 22, 2023 10:41	No labels
		Version 1 (current)	54 kB	Inga A.	Sept 22, 2023 10:41
		PNG File state-activation-semantics.png	82 kB	Inga A.	Sept 22, 2023 10:41	No labels
		Version 1 (current)	82 kB	Inga A.	Sept 22, 2023 10:41
		PNG File state-activation-semantics-b.png	82 kB	Inga A.	Sept 22, 2023 10:41	No labels
		Version 1 (current)	82 kB	Inga A.	Sept 22, 2023 10:41