Summary

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

Details

Page properties

Content

...	...	@@ -1,4 +1,4 @@
1		-{{panel title="Project Overview" borderStyle="dashed"}}
	1	+{{panel borderStyle="dashed" title="Project Overview"}}
2	2	Responsible:
3	3
4	4	* [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]]
...	...	@@ -45,7 +45,7 @@
45	45
46	46	----
47	47
48		-== Simulating SyncCharts? with KlePto ==
	48	+== Simulating SyncCharts with KlePto ==
49	49
50	50	To simulate a SyncChart, take care of the following facts:
51	51
...	...	@@ -117,7 +117,7 @@
117	117
118	118	[[image:attach:klepto-error4b.jpg]]
119	119
120		-* If Ptolemy states about undeterministic transitions that you should inspect the priorities that must be destinct. This is also indicated as an error tag in the SyncCharts editor.
	120	+* If Ptolemy states about undeterministic transitions that you should inspect the priorities that must be destinct. This is also indicated as an error tag in the SyncChatrs editor.
121	121
122	122	----
123	123

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-885041
	1	+50823221

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/885041/Leveraging Ptolemy Semantics (KlePto)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823221/Leveraging Ptolemy Semantics (KlePto)