digraph G{  node [shape=record, fontsize=9, height=0.1, width=0.05]; edge [style=dashed, arrowsize=0.5, len=0.1] 
subgraph "cluster_Vendingmachine" {
"[[second]]|[[minute]]"
}
subgraph "cluster_Time" {
"[[second]]|[[minute]]"
}
subgraph "cluster_Vendingmachine" {
"[[fundsInMachine], [pricelist], [remittance], [chosenProduct]]|[[enoughCashToChange]]"
}
subgraph "cluster_Vendingmachine" {
"[[minute], [chosenProduct], [remittance], [enoughCashToChange], [pricelist], [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_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_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_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_Minute" {
label="Minute"
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_Second" {
label="Second"
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_minute" {
label="minute"
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_second" {
label="second"
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_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_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_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_Minute" {
label="Minute"
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_Second" {
label="Second"
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_minute" {
label="minute"
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_second" {
label="second"
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_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_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_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_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_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_Minute" {
label="Minute"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_minute" {
label="minute"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
subgraph "cluster_Second" {
label="Second"
color=blue
fontcolor=blue
fontsize=8
fontname=sans
labeljust=l
subgraph "cluster_second" {
label="second"
color=blue
fontcolor=blue
fontsize=10
fontname=sans
labeljust=l
}
}
"[[second]]|[[minute]]"->"[[minute], [chosenProduct], [remittance], [enoughCashToChange], [pricelist], [fundsInMachine]]|[[activity]]"
"[[fundsInMachine], [pricelist], [remittance], [chosenProduct]]|[[enoughCashToChange]]"->"[[minute], [chosenProduct], [remittance], [enoughCashToChange], [pricelist], [fundsInMachine]]|[[activity]]"
}