unit1.~dfm

可以简单计算petri网的状态空间,用来分析petri网的特性

object Form1: TForm1
  Left = 226
  Top = 147
  BorderIcons = [biSystemMenu, biMinimize]
  BorderStyle = bsSingle
  Caption = 'Petri'#32593#29366#24577#31354#38388#27714#35299#23567#24037#20855#8212#8212'Powered By '#32918#26166
  ClientHeight = 640
  ClientWidth = 819
  Color = clBtnFace
  Font.Charset = DEFAULT_CHARSET
  Font.Color = clWindowText
  Font.Height = -11
  Font.Name = 'MS Sans Serif'
  Font.Style = []
  OldCreateOrder = False
  Position = poDesktopCenter
  OnClose = FormClose
  PixelsPerInch = 96
  TextHeight = 13
  object GroupBox1: TGroupBox
    Left = 96
    Top = 8
    Width = 600
    Height = 190
    Caption = #25968#30446#36755#20837
    Font.Charset = GB2312_CHARSET
    Font.Color = clWindowText
    Font.Height = -13
    Font.Name = #23435#20307
    Font.Style = []
    ParentFont = False
    TabOrder = 0
    object Label1: TLabel
      Left = 64
      Top = 32
      Width = 281
      Height = 21
      AutoSize = False
      Caption = 'Label1'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clWindowText
      Font.Height = -13
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label2: TLabel
      Left = 64
      Top = 72
      Width = 289
      Height = 21
      AutoSize = False
      Caption = 'Label1'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clWindowText
      Font.Height = -13
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Edit1: TEdit
      Left = 372
      Top = 32
      Width = 57
      Height = 21
      MaxLength = 1
      TabOrder = 0
      Text = 'Edit1'
      OnKeyPress = Edit1KeyPress
    end
    object Edit2: TEdit
      Left = 372
      Top = 72
      Width = 57
      Height = 21
      MaxLength = 1
      TabOrder = 1
      Text = 'Edit1'
      OnKeyPress = Edit2KeyPress
    end
    object Button1: TButton
      Left = 296
      Top = 144
      Width = 75
      Height = 25
      Caption = #30830#23450
      TabOrder = 2
      OnClick = Button1Click
    end
    object Button2: TButton
      Left = 406
      Top = 144
      Width = 75
      Height = 25
      Caption = #28165#38500
      TabOrder = 3
      OnClick = Button2Click
    end
  end
  object GroupBox2: TGroupBox
    Left = 56
    Top = 184
    Width = 641
    Height = 249
    Caption = #25968#25454#36755#20837
    TabOrder = 1
    object Label3: TLabel
      Left = 40
      Top = 32
      Width = 585
      Height = 25
      AutoSize = False
      Caption = 'Label3'
    end
    object Label4: TLabel
      Left = 56
      Top = 128
      Width = 521
      Height = 25
      AutoSize = False
      Caption = 'Label4'
    end
    object Label5: TLabel
      Left = 72
      Top = 192
      Width = 289
      Height = 21
      AutoSize = False
      Caption = 'Label5'
    end
    object Label6: TLabel
      Left = 104
      Top = 80
      Width = 273
      Height = 21
      AutoSize = False
      Caption = 'Label6'
    end
    object Button3: TButton
      Left = 424
      Top = 216
      Width = 75
      Height = 25
      Caption = #30830#23450
      TabOrder = 0
      OnClick = Button3Click
    end
    object Edit3: TEdit
      Left = 408
      Top = 80
      Width = 49
      Height = 21
      AutoSize = False
      MaxLength = 2
      TabOrder = 1
      OnKeyPress = Edit3KeyPress
    end
  end
  object GroupBox3: TGroupBox
    Left = 56
    Top = 464
    Width = 641
    Height = 137
    Caption = #32467#26524#36755#20986
    TabOrder = 2
    object ListView1: TListView
      Left = 2
      Top = 15
      Width = 637
      Height = 120
      Align = alClient
      Columns = <
        item
          Caption = #36716#21270#36335#24452
          Width = 570
        end
        item
          Caption = #29366#24577#25968#20540
          Width = 200
        end>
      TabOrder = 0
      ViewStyle = vsReport
    end
  end
end