Сети Петри

@StroGG · Регистрация: 18.02.2010

Студворк — интернет-сервис помощи студентам

Товарищи программисты будьте так добры помочь. Нужны исходники реализации любого вида Сетей Петри. Для меня Сети Петри темный лес. Я в них ничевошеньки не понимаю поэтому вас и прошу помочь.

@asd321 · 29.03.2010, 10:44

Сообщение от StroGG

Товарищи программисты будьте так добры помочь. Нужны исходники реализации любого вида Сетей Петри. Для меня Сети Петри темный лес. Я в них ничевошеньки не понимаю поэтому вас и прошу помочь.

мне тоже нужны есть у кого откликнитесь

@odip · 29.03.2010, 18:22

А задача-то какая стоит ?
Что должна делать реализация ?
Гонять сеть по заданым начальным условиям или что ?
А то вопрос похож на следующий: "Помогите. Нужны исходники реализации квадратной матрицы. Для меня квадратная матрица - темный лес."

Чтобы не был темный лес - сходи почитай: http://ru.wikipedia.org/wiki/Сети_Петри

@asd321 · 31.03.2010, 10:48

хм) думаю ссылки на википедию не стоит выкладывать но все же спаибо, я хотел бы узнать ил увидеть материал где описываеться применение сетей петри для лингвоанализа, что то типа разложение слова на составляющие, его происхождение синонимы и прочее. вот так

Добавлено через 22 часа 20 минут
ну так чо кто нить чо нить предложит, чесно гвоояр хотелось бы увидеть готовую програмную реализацию, но это видимо только мечты, кто не хочет давать даром может я чо нить напишу для него взамен,хы..)

@asd321 · 04.04.2010, 13:57

ну чо кто нить поможет программным продуктом а не просто теорией ко торую я могу найти введя в строке поиска чо мне нада

@StroGG · 05.04.2010, 18:20 **[ТС]**

Дядьку я считаю, что скорее всего нам здесь никто не поможет.

@asd321 · 06.04.2010, 00:27

да точну)

@alex_x_x · 06.04.2010, 00:32

Сообщение от asd321

применение сетей петри для лингвоанализа, что то типа разложение слова на составляющие, его происхождение синонимы и прочее

они предназначены для этого?

@asd321 · 06.04.2010, 11:49

Сообщение от alex_x_x

они предназначены для этого?

ну хотя бы какой нибудь программный продукт реализующий сети Петри покажите кто нибудь

@hacher · 25.04.2010, 19:11

http://pipe2.sourceforge.net/ - посмотри

@asd321 · 26.04.2010, 09:07

хм это моделирование сетей петри

@lfin · 30.05.2010, 20:11

Всем доброе время суток.
Уважаемый автор вопроса. Если вы нашли код, то скиньте пожалуйста.

Уважаемые форумчанины, напиши пожалуйста любую реализацию динамических систем методом сетей петри. Можно и цветные.

@StroGG · 31.05.2010, 14:10 **[ТС]**

Премного уважаемый Ifin, мне не хочется Вас разочаровывать, но я не ничего толкового не нашел. Если что-то найду, то я в обязательном порядке выложу, но ничего не обещаю.

@lfin · 31.05.2010, 14:27

odip, поставьте пожалуйста задачу какую нибудь с использованием моделирования динамических систем методом сетей Петри. Даже код не обязательно, просто условия задачи.

@VisualNIK · 10.04.2013, 16:33

odip,
Здравствуйте, мне как раз таки нужно реализовать дерево вывода прогона всех разметок сети петри... у меня разметки выводит, все в порядке, но я никак не могу додуматься до правильно нумерации этих разметок, дело в том, что у меня там рекурсия, и вот с ней голову ломаю, она работает так:
Находит новую разметку путем проверки текущей разметки с элементами каждого столбца матрицы Fp (матрица позиций), затем если есть столбец у которого все элементы меньше либо равны элементов текущей разметки, она отнимает от элементов разметки, элементы столбца этого, и прибавляет элементы соответствуйющей строки матрицы Ft (матрица переходов). Ну это все теория, метки при этом у меня находит она верно, но нумерация не та...на картинках ниже прилагаю, как есть (1-я) и как должна быть (2-я). И ещё код сам конечно...Спасибо..Главная функция конечно же CreateTree в ней все и вертится

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
//---------------------------------------------------------------------------
 
#include <vcl.h>
#pragma hdrstop
 
#include "Unit1.h"
#include<iostream.h>
 
//---------------------------------------------------------------------------
#pragma package(smart_init)
#pragma resource "*.dfm"
TForm1 *Form1;
int **Fp, **Ft, *M0, **Mr, p, t, depth, *M, line=1, mark=1;
//---------------------------------------------------------------------------
__fastcall TForm1::TForm1(TComponent* Owner)
        : TForm(Owner)
{
}
//---------------------------------------------------------------------------
 
bool TestTransition(int **Fp, int *M, int Nt, int p)
{  int i,j; bool w=true;
 
   for(i=0;i<p;i++)
     {
       if(M[i]<Fp[i][Nt])
         {
           w=false;
           break;
         }
     }
 
   return w;
 
}
 
bool TestMarking(int *Met)
{
  int i,j; bool w=true;
  for(i=0;i<100;i++)
   for(j=0;j<p;j++)
     {
       if(Met[j]!=Mr[i][j])
         {
           j=p;
         }
 
       if((j==p-1)&&(Met[j]==Mr[i][j]))
         {
           w=false; i=100; j=p;
         }
     }
  return w;
}
 
int FindMark(int *Met)
{
  int i,j;
 
  for(i=0;i<100;i++)
    for(j=0;j<p;j++)
      {
        if(Met[j]!=Mr[i][j])
          {
            j=p;
          }
 
        if((j==p-1)&&(Met[j]==Mr[i][j]))
          {
            return i;
          }
     }
}
 
//---------------------------------------------------------------------------
void __fastcall TForm1::Edit1Change(TObject *Sender)
{
  p=StrToInt(Edit1->Text);
  t=StrToInt(Edit2->Text);
 
  StringGrid1->RowCount=p;
  StringGrid1->ColCount=t;
  StringGrid2->RowCount=t;
  StringGrid2->ColCount=p;
  StringGrid3->ColCount=p;
}
 
//---------------------------------------------------------
 
void __fastcall TForm1::BitBtn1Click(TObject *Sender)
{
  int i,j;
 
  StringGrid1->Cells[0][0]='1'; StringGrid1->Cells[1][0]='1'; StringGrid1->Cells[2][0]='0';
  StringGrid1->Cells[3][0]='0'; StringGrid1->Cells[4][0]='0'; StringGrid1->Cells[0][1]='1';
  StringGrid1->Cells[1][1]='2'; StringGrid1->Cells[2][1]='0'; StringGrid1->Cells[3][1]='0';
  StringGrid1->Cells[4][1]='0'; StringGrid1->Cells[0][2]='0'; StringGrid1->Cells[1][2]='0';
  StringGrid1->Cells[2][2]='1'; StringGrid1->Cells[3][2]='0'; StringGrid1->Cells[4][2]='0';
  StringGrid1->Cells[0][3]='0'; StringGrid1->Cells[1][3]='0'; StringGrid1->Cells[2][3]='1';
  StringGrid1->Cells[3][3]='1'; StringGrid1->Cells[4][3]='0'; StringGrid1->Cells[0][4]='0';
  StringGrid1->Cells[1][4]='0'; StringGrid1->Cells[2][4]='0'; StringGrid1->Cells[3][4]='1';
  StringGrid1->Cells[4][4]='0'; StringGrid1->Cells[0][5]='0'; StringGrid1->Cells[1][5]='0';
  StringGrid1->Cells[2][5]='0'; StringGrid1->Cells[3][5]='0'; StringGrid1->Cells[4][5]='2';
 
  StringGrid2->Cells[0][0]='0'; StringGrid2->Cells[1][0]='0'; StringGrid2->Cells[2][0]='1';
  StringGrid2->Cells[3][0]='1'; StringGrid2->Cells[4][0]='0'; StringGrid2->Cells[5][0]='1';
  StringGrid2->Cells[0][1]='0'; StringGrid2->Cells[1][1]='0'; StringGrid2->Cells[2][1]='0';
  StringGrid2->Cells[3][1]='1'; StringGrid2->Cells[4][1]='1'; StringGrid2->Cells[5][1]='0';
  StringGrid2->Cells[0][2]='0'; StringGrid2->Cells[1][2]='0'; StringGrid2->Cells[2][2]='0';
  StringGrid2->Cells[3][2]='0'; StringGrid2->Cells[4][2]='0'; StringGrid2->Cells[5][2]='1';
  StringGrid2->Cells[0][3]='0'; StringGrid2->Cells[1][3]='1'; StringGrid2->Cells[2][3]='0';
  StringGrid2->Cells[3][3]='0'; StringGrid2->Cells[4][3]='0'; StringGrid2->Cells[5][3]='2';
  StringGrid2->Cells[0][4]='1'; StringGrid2->Cells[1][4]='0'; StringGrid2->Cells[2][4]='0';
  StringGrid2->Cells[3][4]='0'; StringGrid2->Cells[4][4]='0'; StringGrid2->Cells[5][4]='0';
 
  StringGrid3->Cells[0][0]='1'; StringGrid3->Cells[1][0]='2'; StringGrid3->Cells[2][0]='0';
  StringGrid3->Cells[3][0]='1'; StringGrid3->Cells[4][0]='1'; StringGrid3->Cells[5][0]='2';
}
 
 
void CreateTree(TMemo *Memo1, int n, int *M1)
{   int i; int j; int *M2=(int *)malloc(p*sizeof(int));
 
    if(n!=0)
    {
      for(i=0;i<t;i++)
        {
          if(TestTransition(Fp,M1,i,p)==true)
            {
              for(j=0;j<p;j++)
                {
                  M2[j]=M1[j]-Fp[j][i]+Ft[i][j];
                }
 
              if(TestMarking(M2)==true)
               {
                 for(j=0;j<p;j++)
                   Mr[mark][j]=M2[j];
 
                 for(j=0;j<depth-(n-1);j++)
                   Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+"     ";
 
                 Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+"t"+IntToStr(i+1)+" =  M"+IntToStr(mark)+": ";
 
                 for(j=0;j<p;j++)
                   Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+IntToStr(M2[j])+"  ";
                 line++; mark++;
 
                 CreateTree(Memo1,n-1,M2);
               }
 
              else
               {
                 for(j=0;j<depth-(n-1);j++)
                   Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+"     ";
 
                 Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+"t"+IntToStr(i+1)+" =  M"+IntToStr(FindMark(M2))+": ";
 
                 for(j=0;j<p;j++)
                   Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+IntToStr(M2[j])+"  ";
                 Memo1->Lines->Strings[line]=Memo1->Lines->Strings[line]+" - povtor";
                 line++;  
               }
            }
        }
    }
}
 
//---------------------------------------------------------------------------
void __fastcall TForm1::SpeedButton1Click(TObject *Sender)
{
  int i,j;
  Fp=(int **)malloc(p*sizeof(int));
  Ft=(int **)malloc(t*sizeof(int));
  Mr=(int **)malloc(100*sizeof(int));
  M0=(int *)malloc(p*sizeof(int));
  M=(int *)malloc(p*sizeof(int));
  for(i=0;i<p;i++)
    {
      Fp[i]=(int *)malloc(t*sizeof(int));
    }
  for(i=0;i<t;i++)
    {
      Ft[i]=(int *)malloc(p*sizeof(int));
    }
  for(i=0;i<100;i++)
    {
      Mr[i]=(int *)malloc(p*sizeof(int));
    }
 
  for(i=0;i<p;i++)
    for(j=0;j<t;j++)
      Fp[i][j]=StrToInt(StringGrid1->Cells[j][i]);
 
  for(i=0;i<t;i++)
    for(j=0;j<p;j++)
      Ft[i][j]=StrToInt(StringGrid2->Cells[j][i]);
 
  for(i=0;i<p;i++)
    M0[i]=StrToInt(StringGrid3->Cells[i][0]);
 
  depth=StrToInt(Edit3->Text);
 
  Memo1->Lines->Strings[line-1]="M"+IntToStr(mark-1)+": ";
    for(j=0;j<p;j++)
      Memo1->Lines->Strings[line-1]=Memo1->Lines->Strings[line-1]+IntToStr(M0[j])+"  ";
 
  CreateTree(Memo1,depth,M0);
 
}
 
 
//---------------------------------------------------------------------------
 
 
void __fastcall TForm1::Button1Click(TObject *Sender)
{
  line=1; mark=1;
 
  for(int i=0;i<300;i++)
    Memo1->Lines->Strings[i]=' ';
}
//---------------------------------------------------------------------------

Новые блоги и статьи Все статьи Все блоги /
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .

@StroGG 2 / 2 / 0 Регистрация: 18.02.2010 Сообщений: 18

	Сети Петри 03.03.2010, 11:27. Показов 10538. Ответов 14 Метки нет (Все метки) Товарищи программисты будьте так добры помочь. Нужны исходники реализации любого вида Сетей Петри. Для меня Сети Петри темный лес. Я в них ничевошеньки не понимаю поэтому вас и прошу помочь. 0

@odip 7176 / 3234 / 82 Регистрация: 17.06.2009 Сообщений: 14,164
	29.03.2010, 18:22
	А задача-то какая стоит ? Что должна делать реализация ? Гонять сеть по заданым начальным условиям или что ? А то вопрос похож на следующий: "Помогите. Нужны исходники реализации квадратной матрицы. Для меня квадратная матрица - темный лес." Чтобы не был темный лес - сходи почитай: http://ru.wikipedia.org/wiki/Сети_Петри 1

@asd321 Мохаммед Али 131 / 70 / 5 Регистрация: 14.08.2009 Сообщений: 916
	31.03.2010, 10:48
	хм) думаю ссылки на википедию не стоит выкладывать но все же спаибо, я хотел бы узнать ил увидеть материал где описываеться применение сетей петри для лингвоанализа, что то типа разложение слова на составляющие, его происхождение синонимы и прочее. вот так Добавлено через 22 часа 20 минут ну так чо кто нить чо нить предложит, чесно гвоояр хотелось бы увидеть готовую програмную реализацию, но это видимо только мечты, кто не хочет давать даром может я чо нить напишу для него взамен,хы..) 0

@asd321 Мохаммед Али 131 / 70 / 5 Регистрация: 14.08.2009 Сообщений: 916
	04.04.2010, 13:57
	ну чо кто нить поможет программным продуктом а не просто теорией ко торую я могу найти введя в строке поиска чо мне нада 0

@StroGG 2 / 2 / 0 Регистрация: 18.02.2010 Сообщений: 18
	05.04.2010, 18:20 [ТС]
	Дядьку я считаю, что скорее всего нам здесь никто не поможет. 0

@asd321 Мохаммед Али 131 / 70 / 5 Регистрация: 14.08.2009 Сообщений: 916
	06.04.2010, 00:27
	да точну) 0

@hacher 4 / 4 / 0 Регистрация: 21.04.2009 Сообщений: 61
	25.04.2010, 19:11
	http://pipe2.sourceforge.net/ - посмотри 2

@asd321 Мохаммед Али 131 / 70 / 5 Регистрация: 14.08.2009 Сообщений: 916
	26.04.2010, 09:07
	хм это моделирование сетей петри 0

@lfin 2 / 2 / 0 Регистрация: 11.10.2009 Сообщений: 31
	30.05.2010, 20:11
	Всем доброе время суток. Уважаемый автор вопроса. Если вы нашли код, то скиньте пожалуйста. Уважаемые форумчанины, напиши пожалуйста любую реализацию динамических систем методом сетей петри. Можно и цветные. 0

@StroGG 2 / 2 / 0 Регистрация: 18.02.2010 Сообщений: 18
	31.05.2010, 14:10 [ТС]
	Премного уважаемый Ifin, мне не хочется Вас разочаровывать, но я не ничего толкового не нашел. Если что-то найду, то я в обязательном порядке выложу, но ничего не обещаю. 0

Опции темы

@lfin 2 / 2 / 0 Регистрация: 11.10.2009 Сообщений: 31
	31.05.2010, 14:27
	odip, поставьте пожалуйста задачу какую нибудь с использованием моделирования динамических систем методом сетей Петри. Даже код не обязательно, просто условия задачи. 0