Workshop presentation given by Niels Lohmann on March 23, 2009 in Eindhoven, The Netherlands at the Berlin-Eindhoven Service Technology Colloquium 2009 (B.E.S.T. 2009).
69. D%"(&-;/+E)$9+!*1&)1+,-%C)1-/
= ",&<M<$#%J&7#$#>"(,&*"D)>& = %>+>#%&*+M&)+8#&*(;#&
,(>&@#&+,&(G>"(, >)+,&(,#&G;#7#<#%%(;
= 7#<"%"(,%&)+8#&>(&@#&
<((;7",+>#7&+D+",&+,7&
+D+", A enables C
B disables A
"&B+;<%
A disables B A B
B disables A
A B χ χ B C
A B
VH
70. D%"(&-;/+E)$9+!*1&)1+,-%C)1-/
= ",&<M<$#%J&7#$#>"(,&*"D)>& = %>+>#%&*+M&)+8#&*(;#&
,(>&@#&+,&(G>"(, >)+,&(,#&G;#7#<#%%(;
= 7#<"%"(,%&)+8#&>(&@#& "&%G$">]<(GM&%>+>#%&@#F(;#&
<((;7",+>#7&+D+",&+,7& &>+Y",D&+,&+<>"(,
+D+", A enables C
B disables A
"&B+;<%
A disables B A B
B disables A
A B χ χ B C
A B
VH
71. D%"(&-;/+E)$9+!*1&)1+,-%C)1-/
= ",&<M<$#%J&7#$#>"(,&*"D)>& = %>+>#%&*+M&)+8#&*(;#&
,(>&@#&+,&(G>"(, >)+,&(,#&G;#7#<#%%(;
= 7#<"%"(,%&)+8#&>(&@#& "&%G$">]<(GM&%>+>#%&@#F(;#&
<((;7",+>#7&+D+",&+,7& &>+Y",D&+,&+<>"(,
+D+", A enables C
B disables A
"&B+;<%
A B χ χ
A disables B
B disables A
A B χ χ B C A B
B
A B B C
VH