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

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

Add vis
File size: 377 bytes
Line 
1#.model system
2#.state st0 = st_perm0:1
3#.state st1 = st_perm1:1
4#.negfair
5#.subsets{st0}
6#.subsets{st1}
7#.endfair
8#.endmodel
9!(st_perm0=1);
10!(st_perm1=1);
11
12#.model process
13#.state critical_section = pc:L12
14#.state soso_section = pc:L16
15#.negfair
16#.subsets{critical_section}
17#.subsets{soso_section}
18#.endfair
19#.endmodel
20!(p0.pc=L12);
21!(p0.pc=L16);
22!(p1.pc=L12);
23!(p1.pc=L16);
24
Note: See TracBrowser for help on using the repository browser.