Changes for page SCCharts-Editor based on Yakindu
Last modified by Richard Kreissig on 2023/09/14 11:09
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -89,13 +89,7 @@ 89 89 )))|((( 90 90 [[image:attach:image2012-10-11 13:47:49.png]] 91 91 )))|((( 92 -**YAKINDU**: Synchronization is a pseudo state. 93 - 94 -**KIELER**: Synchronization not needed in KIELER 95 - 96 -* 97 -** No interlevel transitions 98 -** Closest construct: normal termination 92 + 99 99 ))) 100 100 |((( 101 101 Choice
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -29822 591 +2982211 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/29822 59/A SyncChart-Editor based on Yakindu1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982211/A SyncChart-Editor based on Yakindu