unit1.h

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

//---------------------------------------------------------------------------

#ifndef Unit1H
#define Unit1H
//---------------------------------------------------------------------------
#include <Classes.hpp>
#include <Controls.hpp>
#include <StdCtrls.hpp>
#include <Forms.hpp>
#include <ComCtrls.hpp>
#define MaxN 15
//---------------------------------------------------------------------------
class TForm1 : public TForm
{
__published:	// IDE-managed Components
        TGroupBox *GroupBox1;
        TLabel *Label1;
        TEdit *Edit1;
        TLabel *Label2;
        TEdit *Edit2;
        TButton *Button1;
        TButton *Button2;
        TGroupBox *GroupBox2;
        TLabel *Label3;
        TLabel *Label4;
        TLabel *Label5;
        TButton *Button3;
        TGroupBox *GroupBox3;
        TListView *ListView1;
        TLabel *Label6;
        TEdit *Edit3;
        void __fastcall Edit1KeyPress(TObject *Sender, char &Key);
        void __fastcall EditKeyPress(TObject *Sender, char &Key);
        void __fastcall Edit2KeyPress(TObject *Sender, char &Key);
        void __fastcall Edit3KeyPress(TObject *Sender, char &Key);
        void __fastcall Button2Click(TObject *Sender);
        void __fastcall Button1Click(TObject *Sender);
        void __fastcall Button3Click(TObject *Sender);
        void __fastcall FormClose(TObject *Sender, TCloseAction &Action);
       
private:
        int n;
        int m;
        DynamicArray< DynamicArray<TEdit *> > EditIn;
        DynamicArray< DynamicArray<TEdit *> > EditOut;
        DynamicArray<TLabel *> LabelIn;
        DynamicArray<TLabel *> LabelOut;
        DynamicArray<TLabel *> LabelPlaceIn;
        DynamicArray<TLabel *> LabelPlaceOut;
        DynamicArray<TLabel *> LabelPlaceToken;
        DynamicArray<TEdit *> EditToken;
        bool __fastcall CanFire(int T, int Current);
        bool __fastcall IsRepeat(int t);
        int StatusSpace[500][MaxN];
        
public:		// User declarations
        __fastcall TForm1(TComponent* Owner);
};
//---------------------------------------------------------------------------
extern PACKAGE TForm1 *Form1;
//---------------------------------------------------------------------------
#endif