digraph G{ node [shape=record, fontsize=9, height=0.1, width=0.05]; edge [style=dashed, arrowsize=0.5, len=0.1]; rankdir=LR subgraph "cluster_CashPoint" { "{[[userRequestedAction], [authorizated], [failedAttempts], [cdAmountDifference], [udAmountDifference]]|[[cashPointActivity]]}" } subgraph "cluster_CashPoint" { "{[[enteredPin], [correctPin]]|[[pinDifference]]}" } subgraph "cluster_ActionEnvironment" { "{[[enteredPin], [correctPin]]|[[pinDifference]]}" } subgraph "cluster_Authorization" { "{[[enteredPin], [correctPin]]|[[pinDifference]]}" } subgraph "cluster_CashPoint" { "{[[pinDifference]]|[[authorizated], [failedAttempts]]}" } subgraph "cluster_ActionEnvironment" { "{[[pinDifference]]|[[authorizated], [failedAttempts]]}" } subgraph "cluster_Authorization" { "{[[pinDifference]]|[[authorizated], [failedAttempts]]}" } subgraph "cluster_CashPoint" { "{[[desiredAmount], [cashPointAmount]]|[[cdAmountDifference]]}" } subgraph "cluster_ActionEnvironment" { "{[[desiredAmount], [cashPointAmount]]|[[cdAmountDifference]]}" } subgraph "cluster_Founds" { "{[[desiredAmount], [cashPointAmount]]|[[cdAmountDifference]]}" } subgraph "cluster_CashPoint" { "{[[desiredAmount], [userAccountAmount]]|[[udAmountDifference]]}" } subgraph "cluster_ActionEnvironment" { "{[[desiredAmount], [userAccountAmount]]|[[udAmountDifference]]}" } subgraph "cluster_Founds" { "{[[desiredAmount], [userAccountAmount]]|[[udAmountDifference]]}" } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_UserRequestedAction" { label="UserRequestedAction" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CashPointActivity" { label="CashPointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userRequestedAction" { label="userRequestedAction" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPin" { label="enteredPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_correctPin" { label="correctPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pinDifference" { label="pinDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_authorizated" { label="authorizated" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_failedAttempts" { label="failedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_UserResources" { label="UserResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CashPointResources" { label="CashPointResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughResources" { label="EnoughResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userAccountAmount" { label="userAccountAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointAmount" { label="cashPointAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cdAmountDifference" { label="cdAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_udAmountDifference" { label="udAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPoint" { label="CashPoint" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointActivity" { label="cashPointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_UserRequestedAction" { label="UserRequestedAction" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userRequestedAction" { label="userRequestedAction" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPin" { label="enteredPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_correctPin" { label="correctPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pinDifference" { label="pinDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_authorizated" { label="authorizated" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_failedAttempts" { label="failedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_UserResources" { label="UserResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CashPointResources" { label="CashPointResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughResources" { label="EnoughResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userAccountAmount" { label="userAccountAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointAmount" { label="cashPointAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cdAmountDifference" { label="cdAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ActionEnvironment" { label="ActionEnvironment" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_udAmountDifference" { label="udAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPointActivity" { label="CashPointActivity" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointActivity" { label="cashPointActivity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enteredPin" { label="enteredPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_correctPin" { label="correctPin" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pinDifference" { label="pinDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_authorizated" { label="authorizated" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Authorization" { label="Authorization" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_failedAttempts" { label="failedAttempts" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_desiredAmount" { label="desiredAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_UserResources" { label="UserResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CashPointResources" { label="CashPointResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughResources" { label="EnoughResources" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userAccountAmount" { label="userAccountAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointAmount" { label="cashPointAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cdAmountDifference" { label="cdAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Founds" { label="Founds" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_udAmountDifference" { label="udAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_UserResources" { label="UserResources" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_userAccountAmount" { label="userAccountAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CashPointResources" { label="CashPointResources" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cashPointAmount" { label="cashPointAmount" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_EnoughResources" { label="EnoughResources" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_cdAmountDifference" { label="cdAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_EnoughResources" { label="EnoughResources" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_udAmountDifference" { label="udAmountDifference" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } "{[[enteredPin], [correctPin]]|[[pinDifference]]}"->"{[[pinDifference]]|[[authorizated], [failedAttempts]]}" "{[[pinDifference]]|[[authorizated], [failedAttempts]]}"->"{[[userRequestedAction], [authorizated], [failedAttempts], [cdAmountDifference], [udAmountDifference]]|[[cashPointActivity]]}" "{[[pinDifference]]|[[authorizated], [failedAttempts]]}"->"{[[userRequestedAction], [authorizated], [failedAttempts], [cdAmountDifference], [udAmountDifference]]|[[cashPointActivity]]}" "{[[desiredAmount], [cashPointAmount]]|[[cdAmountDifference]]}"->"{[[userRequestedAction], [authorizated], [failedAttempts], [cdAmountDifference], [udAmountDifference]]|[[cashPointActivity]]}" "{[[desiredAmount], [userAccountAmount]]|[[udAmountDifference]]}"->"{[[userRequestedAction], [authorizated], [failedAttempts], [cdAmountDifference], [udAmountDifference]]|[[cashPointActivity]]}" }