ConstraintGraphWindow.xaml

<Window x:Class="DataPetriNetIterativeVerificationApplication.LtsWindow"
        xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
        xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
        xmlns:d="http://schemas.microsoft.com/expression/blend/2008"
        xmlns:mc="http://schemas.openxmlformats.org/markup-compatibility/2006"
        xmlns:local="clr-namespace:DataPetriNetIterativeVerificationApplication" xmlns:wpfgraphcontrol="http://mlsagl"
        mc:Ignorable="d"
        Title="ConstraintGraphWindow" Height="450" Width="800">
    <Grid>
        <Grid.RowDefinitions>
            <RowDefinition></RowDefinition>
            <RowDefinition Height="120"></RowDefinition>
        </Grid.RowDefinitions>
        <Border BorderThickness="0,1,0,0" BorderBrush="Black" 
            Grid.Row="1" Grid.RowSpan="1"/>
        <wpfgraphcontrol:AutomaticGraphLayoutControl Grid.Row="0" x:Name="graphControl"/>
        <ScrollViewer Grid.Row="1">
            <TextBlock x:Name="logControl" HorizontalAlignment="Left" TextWrapping="Wrap" Text="TextBlock" VerticalAlignment="Top"/>
        </ScrollViewer>
    </Grid>
</Window>