Seurauspuu

Vikapuun lisäksi ELMAS ohjelmisto tarjoaa mallinnusmenetelmäksi seurauspuun, joka lisää yhdistetyn mallin ilmaisuvoimaa. Seurauspuu muodostuu alkusolmusta, sekä sille määritetyistä seuraussolmuista, näiden seuraussolmuista jne. Alkusolmu on sama solmu kuin vikapuun ylin tarkasteltavaa ei-toivottua asiaa kuvaava solmu. Seurauspuu kuvaa kaikkia mahdollisia tapahtumaketjuja, jotka voivat aiheutua tarkasteltavasta ei-toivotusta asiasta.

Aivan kuten seurauspuun alkusolmu on samalla myös vikapuun ylin solmu, myös kaikkien muiden seurauspuun solmujen alla on vikapuut. Yksinkertaisimmassa tapauksessa vikapuu voi luonnollisesti koostua vain yhdestä solmusta. Vikapuuta käytetään mallintamaan kausaliteetti seurauspuun solmun ja sen edeltäjän välillä.

Seurauspuun avulla vikapuu on mahdollista jakaa ehdollisiin tasoihin. Ensimmäinen taso muodostuu seurauspuun alkusolmun alla olevista vikapuun solmuista. Se on perustaso, jolla ei ole esiehtoja. Jos alkusolmun kuvaama asia on voimassa, aletaan tarkastella kaikkia alkusolmun seurauksien alla olevia vikapuita. Nämä muodostavat seuraavan tason.

Kun alkusolmun ei-toivottu asia ei ole enää voimassa, lopetetaan seuraavan tason käsittely. Jos taas alkusolmun ollessa toteutuneena jokin alkusolmulle määritellyistä seurauksista toteutuu, toimii se esiehtona seuraavalle tasolle, jota aletaan tarkastella. Tasoja muodostuu näin niin monta kuin tapahtumaketjussa on tapahtumia ja jokaisen tapahtuman välinen kausaliteetti kuvataan erikseen omana vikapuunaan. Seuraavassa kuvassa on havainnollistettu seurauspuun muodostamaa ehdollisten tasojen hierarkiaa.

On myös mahdollista syntyä tilanteita, jossa seurauksista toteutuu monta yhtä aikaa. Tämä tarkoittaa käytännössä tilannetta, jossa yhdestä tapahtumasta lähtee kehittymään samanaikaisesti kaksi eri tapahtumaketjua. Joissain tilanteissa voi olla tarpeen rajoittaa seuraukset toisensa poissulkevaksi. Tällöin kaikkien seurausten alla olevia vikapuita tarkastellaan vastaavalla tavalla yhtä aikaa kuin ilmankin rajoitusta, mutta jos seurauksista toteutuu kaksi tai useampia yhtä aikaa, näistä valitaan ainoastaan määritetyn järjestyksen mukaisesti ensimmäinen. Kyseisen seurauksen seuraavaa tasoa aletaan tarkastella normaalisti, mutta muiden samanaikaisesti toteutuneiden seurausten kohdalla ei enää edetä seuraavalle tasolle.