UVA - 804 Petri Net Simulation（图论||模拟）

#include <cstdio>
#include <vector>
#include <cstring>
using namespace std;
// place[i]代表第i个place的token数目
int place[200];

// tran_input/output[i]代表第i个transition的place列表
vector<int> tran_input[200];
vector<int> tran_output[200];

int place_num, tran_num, simul_num;

int main()
{
	int g_count = 1;
	// 读入各个情况
	while (scanf("%d", &place_num) && place_num != 0)
	{
		memset(place, 0, sizeof(place));

		for (int i = 1; i <= place_num; i++)
			scanf("%d", &place[i]);

		scanf("%d", &tran_num);
		for (int i = 1; i <= tran_num; i++)
		{
			tran_input[i] = vector<int>();
			tran_output[i] = vector<int>();
			int x;
			while (scanf("%d", &x) && x != 0)
			{
				if (x < 0)
					tran_input[i].push_back(-x);
				else
					tran_output[i].push_back(x);
			}
		}

		scanf("%d", &simul_num);
		printf("Case %d: ", g_count);
		g_count++;
		// 进行模拟
		int count;
		for (count = 1; count <= simul_num; count++)//总的循环次数
		{
			int tran_i;
			// 找到可以enable的transition
			for (tran_i = 1; tran_i <= tran_num; tran_i++)//遍历place
			{
				int j;
				int enable_flag = 1;
				for (j = 0; j < tran_input[tran_i].size(); j++)//查看这次变迁的输入 如果有不合法 在①处加回来 这个place 没有变动
				{
					place[tran_input[tran_i][j]]--;
					if (place[tran_input[tran_i][j]] < 0)
					{
						enable_flag = 0;
					}
				}

				if (enable_flag == 0)//①
				{
					for (j = 0; j < tran_input[tran_i].size(); j++)
					{
						place[tran_input[tran_i][j]]++;
					}
				}
				else//变迁成功 token 从in到了out
				{
					for (j = 0; j < tran_output[tran_i].size(); j++)
					{
						place[tran_output[tran_i][j]]++;
					}
					break;
				}
			}
			if (tran_i == tran_num + 1)//如果遍历了place  一个都不能成功变迁 即这个petri已经死了
			{
				printf("dead after %d transitions\n", count - 1);
				break;
			}
		}
		if (count == simul_num + 1)
			printf("still live after %d transitions\n", simul_num);
		printf("Places with tokens:");
		for (int i = 1; i <= place_num; i++)
		{
			if (place[i] > 0)
				printf(" %d (%d)", i, place[i]);
		}
		printf("\n\n");
	}
	system("pause");
	return 0;
}

我居然信了刘汝佳的邪，研究了半天题意没有搞明白，然后好不容易以为自己明白了，一看博客，两眼又黑了，简直了。

以上是我摘录自大佬博客的代码 附加了自己的理解注释 侵删。

 

题意：有np个place，每个place中都有若干个token，并编号为1，2.....np，也就是我们即将转移的部分，可以为0，然后输入nt个路径，负数表示从该数绝对值的place中出来一个token，正数表示有一个token会进到这个以该数为编号的place中去，每条路径以0结束，书上也有提到，可能会有数个负数，数个正数的情况，具体例子不再举例，翻书吧，骚年！（PS,书上的例子是样例2的），最后是一个nf，是总的循环次数，也就是把nt的这些路径执行nf次。值得一提的是，如果他到了某一次循环，每个place 中的token都无法移动了，那就判断这个petri死了，而不是某个点无法将token移出去了就判断为token，请不要误解题意哟。（是我!是我!……）