graaf klaar
[ker2014-2.git] / report / d1.dot
index da5cca4..29cf034 100644 (file)
@@ -1,10 +1,18 @@
 digraph {
+       i1 [label=<I<SUB>1</SUB>>]
+       i2 [label=<I<SUB>2</SUB>>]
+       n [shape=plaintext label="Noisy OR"]
+       n -> alarm [style=invis]
+       newscast [label="Newcast calls"]
+       gibbons [label="Gibbons calls"]
+       watson [label="Watson calls"]
+       
        earthquake -> i1
        burglar -> i2
        i1 -> alarm
        i2 -> alarm
-       earthquake -> "Newscast calls"
+       earthquake -> newscast
 
-       alarm -> "Watson calls"
-       alarm -> "Gibson calls"
+       alarm -> watson
+       alarm -> gibbons
 }