UVa 804 - Petri Net Simulation(模拟)

模拟Petri网变迁,读懂题之后其实不难。
建一个petri结构体,ip、op是参与变迁的place的编号。用数组记录每个参与变迁的place的tokens改变量。剩下的就好办了,题目说明了只会有唯一
解,所以只需要循环执行可以进行的变迁就好了。

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
#include<cstdio>
#include<cstring>
#include<vector>
using namespace std;
const int maxn=105;
int p,t,np[maxn],lim;
struct petri{
int ip,op,i[maxn],o[maxn],in[maxn],out[maxn];
} pet[maxn];
int main(){
int tt=0;
while(scanf("%d",&p),p){
memset(pet,0,sizeof(pet));
for(int i=1;i<=p;++i) scanf("%d",&np[i]);
scanf("%d",&t);
for(int i=1;i<=t;++i){
int k;
while(scanf("%d",&k),k){
if(k<0) ++pet[i].in[-k];
else ++pet[i].out[k];
}
for(int j=1;j<=p;++j){
if(pet[i].in[j]) pet[i].i[++pet[i].ip]=j;
if(pet[i].out[j]) pet[i].o[++pet[i].op]=j;
}
}
scanf("%d",&lim);
int cnt=0;
for(int i=1;i<=t;++i){
bool flag=true;
petri &k=pet[i];
for(int j=1;j<=k.ip;++j)
if(np[k.i[j]]<k.in[k.i[j]]){flag=false;break;}
if(!flag) continue;
for(int j=1;j<=k.ip;++j) np[k.i[j]]-=k.in[k.i[j]];
for(int j=1;j<=k.op;++j) np[k.o[j]]+=k.out[k.o[j]];
i=0;
if(++cnt>=lim) break;
}
if(cnt>=lim) printf("Case %d: still live after %d transitions\n",++tt,lim);
else printf("Case %d: dead after %d transitions\n",++tt,cnt);
printf("Places with tokens:");
for(int i=1;i<=p;++i) if(np[i]) printf(" %d (%d)",i,np[i]);
printf("\n\n");
}
return 0;
}

本文迁移自我的 CSDN博客 ,格式可能有所偏差。