source: vis_dev/vis-2.1/examples/crd/crd.fair @ 14

Last change on this file since 14 was 11, checked in by cecile, 13 years ago

Add vis
File size: 115 bytes
RevLine 
[11]1!(police.state=go_A_init);
2!(police.state=go_B_init);
3!(road_A.state=STOPPED_init);
4!(road_B.state=STOPPED_init);
5
Note: See TracBrowser for help on using the repository browser.