Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.nbw

Content

...	...	@@ -16,3 +16,36 @@
16	16
17	17
18	18	Use this page to document your project goals...
	19	+
	20	+{{code linenumbers="true"}}
	21	+state Foo
	22	+--> Gleissegment with contact(Segment,0)
	23	+state Gleissegment {
	24	+ entry / req(next_Segment);
	25	+ entry / setSignal(prevSegment, red);
	26	+
	27	+ inital state Entry
	28	+ --> Continue with contact(Segment,0) & perm_next_Segment
	29	+ --> Slowdown with contact(Segment,0);
	30	+
	31	+ state Slowdown {
	32	+ entry / setSpeed(Segment,SLOW);
	33	+ } --> Waiting with contact(Segment,1)
	34	+ --> Continue with perm_next_Segment;
	35	+
	36	+ state Waiting {
	37	+ entry / setSpeed(Segment,BRAKE);
	38	+ } --> Continue with perm_next_Segment;
	39	+
	40	+ state Continue {
	41	+ entry / setSignal(Segment,green);
	42	+ entry / setSpeed(Segment,full);
	43	+ entry / setSpeed(nextSegment,full);
	44	+ entry / setSignal(nextSegment, red);
	45	+ entry / free(prevSegment)
	46	+ entry / setSpeed(prevSegment,OFF);
	47	+ }--> leave immediate;
	48	+
	49	+ final state leave;
	50	+}
	51	+{{/code}}

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9470751
	1	+9470756

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470751/Project goals
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470756/Project goals