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_Vendingmachine" { "{[[startTime], [currentTime]]|[[timeOut]]}" } subgraph "cluster_Time" { "{[[startTime], [currentTime]]|[[timeOut]]}" } subgraph "cluster_Vendingmachine" { "{[[fundsInMachine], [change]]|[[enoughCashToChange]]}" } subgraph "cluster_Vendingmachine" { "{[[chosenProduct], [remittance], [pricelist]]|[[change]]}" } subgraph "cluster_Cash" { "{[[chosenProduct], [remittance], [pricelist]]|[[change]]}" } subgraph "cluster_Vendingmachine" { "{[[timeOut], [enoughCashToChange], [change], [chosenProduct], [fundsInMachine]]|[[activity]]}" } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Availability" { label="Availability" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Activity" { label="Activity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CurrentTime" { label="CurrentTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_StartTime" { label="StartTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_timeOut" { label="timeOut" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_currentTime" { label="currentTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_startTime" { label="startTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_ChosenProduct" { label="ChosenProduct" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Remittance" { label="Remittance" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Change" { label="Change" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Pricelist" { label="Pricelist" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_chosenProduct" { label="chosenProduct" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_remittance" { label="remittance" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_change" { label="change" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pricelist" { label="pricelist" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_FundsInMachine" { label="FundsInMachine" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughCashToChange" { label="EnoughCashToChange" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_fundsInMachine" { label="fundsInMachine" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashToChange" { label="enoughCashToChange" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Vendingmachine" { label="Vendingmachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_activity" { label="activity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_CurrentTime" { label="CurrentTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_StartTime" { label="StartTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_timeOut" { label="timeOut" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_currentTime" { label="currentTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Time" { label="Time" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_startTime" { label="startTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_ChosenProduct" { label="ChosenProduct" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Remittance" { label="Remittance" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Change" { label="Change" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_Pricelist" { label="Pricelist" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_chosenProduct" { label="chosenProduct" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_remittance" { label="remittance" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_change" { label="change" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Cash" { label="Cash" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pricelist" { label="pricelist" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Availability" { label="Availability" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_FundsInMachine" { label="FundsInMachine" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Availability" { label="Availability" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_EnoughCashToChange" { label="EnoughCashToChange" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Availability" { label="Availability" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_fundsInMachine" { label="fundsInMachine" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Availability" { label="Availability" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashToChange" { label="enoughCashToChange" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Activity" { label="Activity" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_activity" { label="activity" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_CurrentTime" { label="CurrentTime" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_currentTime" { label="currentTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_StartTime" { label="StartTime" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_startTime" { label="startTime" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_FundsInMachine" { label="FundsInMachine" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_fundsInMachine" { label="fundsInMachine" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_EnoughCashToChange" { label="EnoughCashToChange" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_enoughCashToChange" { label="enoughCashToChange" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Remittance" { label="Remittance" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_remittance" { label="remittance" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_ChosenProduct" { label="ChosenProduct" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_chosenProduct" { label="chosenProduct" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Change" { label="Change" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_change" { label="change" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } subgraph "cluster_Pricelist" { label="Pricelist" color=blue fontcolor=blue fontsize=8 fontname=sans labeljust=l subgraph "cluster_pricelist" { label="pricelist" color=blue fontcolor=blue fontsize=10 fontname=sans labeljust=l } } "{[[startTime], [currentTime]]|[[timeOut]]}"->"{[[timeOut], [enoughCashToChange], [change], [chosenProduct], [fundsInMachine]]|[[activity]]}" "{[[fundsInMachine], [change]]|[[enoughCashToChange]]}"->"{[[timeOut], [enoughCashToChange], [change], [chosenProduct], [fundsInMachine]]|[[activity]]}" "{[[chosenProduct], [remittance], [pricelist]]|[[change]]}"->"{[[fundsInMachine], [change]]|[[enoughCashToChange]]}" "{[[chosenProduct], [remittance], [pricelist]]|[[change]]}"->"{[[timeOut], [enoughCashToChange], [change], [chosenProduct], [fundsInMachine]]|[[activity]]}" }