Changes for page Leveraging Ptolemy Semantics (KlePto)
Last modified by Richard Kreissig on 2023/09/14 10:55
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
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"]] ... ... @@ -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 SyncCha rts 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 - 8850431 +50823221 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/ 885043/Leveraging Ptolemy Semantics (KlePto)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823221/Leveraging Ptolemy Semantics (KlePto)