Case study

1
Chapter 4

• Case study
• The Philosophers System

2
Two issues

• How do low level nets and high level nets nets
  relate?
• a low level net can be folded to a high level
  net,
• exploiting regular (symmetrical) structure
• 2. More concepts of High level nets

3
Dijkstras 5 philosophers
4
We do with three philosophers
5
from propositions to predicates
6
functions in arc inscriptions
7
parameterized actions
8
a variant
9
set valued constant symbols
10
phils takes different number of forks
11
... can also be folded
12
The Drinking Philosophers
13
End of Chapter 4

• Case study
• The Philosophers System

14
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? M?
M M? ? ? def ? ? ? ? ?? ? ? ? ? ? ? ???????? ?
???????? ? ? ???????? ? ???????? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ??? ? ? ? ? ? ? ? ??
WFv(A) SFv(A) ??Nexta?vars? var?var?var helveti
ca 24
15
MathB ? ? ? ? ? ? ? ? MathC ? ? ? ? ? ? ? ? ? ?
? ? ? Math1 ? ? ? ? ? ? ? Math4 ?? ? ? ?
???????? ? ???????? ? ? ???????? ? ????????
? Math5 ? ? ? ? ? Symbol ? ? ? ? ? ? ? ?
??? ?? ? ? ? ? ? ? ? . ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? .
?? ? def M? M M? WFv(A) SFv(A) ??Nexta?vars?
helvetica 24