Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -89,7 +89,13 @@
89	89	)))|(((
90	90	[[image:attach:image2012-10-11 13:47:49.png]]
91	91	)))|(((
92		-
	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
93	93	)))
94	94	|(((
95	95	Choice

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-2982211
	1	+2982259

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982211/A SyncChart-Editor based on Yakindu
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982259/A SyncChart-Editor based on Yakindu