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" {
"{[[remittance], [price]]|[[change]]}"
}
subgraph "cluster_Cash" {
"{[[remittance], [price]]|[[change]]}"
}
subgraph "cluster_Vendingmachine" {
"{[[chosenProduct], [pricelist]]|[[price]]}"
}
subgraph "cluster_Cash" {
"{[[chosenProduct], [pricelist]]|[[price]]}"
}
subgraph "cluster_PriceToPay" {
"{[[chosenProduct], [pricelist]]|[[price]]}"
}
subgraph "cluster_Vendingmachine" {
"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"
}
subgraph "cluster_Vendingmachine" {
"{[[price], [fundsInMachine], [activity]]|[[fundsInMachine]]}"
}
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_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_PriceToPay" {
label="PriceToPay"
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_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_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_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_Price" {
label="Price"
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_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_price" {
label="price"
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_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_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_PriceToPay" {
label="PriceToPay"
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_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_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_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_Price" {
label="Price"
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_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_price" {
label="price"
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_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_PriceToPay" {
label="PriceToPay"
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_PriceToPay" {
label="PriceToPay"
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_PriceToPay" {
label="PriceToPay"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_Price" {
label="Price"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_PriceToPay" {
label="PriceToPay"
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_PriceToPay" {
label="PriceToPay"
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_PriceToPay" {
label="PriceToPay"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_price" {
label="price"
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_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_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
}
}
subgraph "cluster_Price" {
label="Price"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_price" {
label="price"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
"{[[startTime], [currentTime]]|[[timeOut]]}"->"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"
"{[[fundsInMachine], [change]]|[[enoughCashToChange]]}"->"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"
"{[[remittance], [price]]|[[change]]}"->"{[[fundsInMachine], [change]]|[[enoughCashToChange]]}"
"{[[remittance], [price]]|[[change]]}"->"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"
"{[[chosenProduct], [pricelist]]|[[price]]}"->"{[[remittance], [price]]|[[change]]}"
"{[[chosenProduct], [pricelist]]|[[price]]}"->"{[[price], [fundsInMachine], [activity]]|[[fundsInMachine]]}"
"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"->"{[[price], [fundsInMachine], [activity]]|[[fundsInMachine]]}"
"{[[price], [fundsInMachine], [activity]]|[[fundsInMachine]]}"->"{[[fundsInMachine], [change]]|[[enoughCashToChange]]}"
"{[[price], [fundsInMachine], [activity]]|[[fundsInMachine]]}"->"{[[timeOut], [enoughCashToChange], [change], [fundsInMachine]]|[[activity]]}"
}