UVa 804 - Petri Net Simulation（模拟）

发表于 分类于 ， Disqus：

模拟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
48
#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博客，格式可能有所偏差。 **

相关文章