place.cs

petriNet model

using System;

namespace MyPetriNet
{

		/// <summary>
		/// Place --库所，系统可能处的状态。
		/// </summary>
		public class Place
		{
			private int tokenNum; 
			private int id;
			private string name;
			public string PlaceName
			{
				set
				{
					name=value;
				}
				get
				{
					return name;
				}
			}

			
			public Place()
			{ 
			}
			public int TokenNumber
			{
				set 
				{
					tokenNum=value;
				}
				get 
				{
					return tokenNum;
				}
			}
			public int PlaceId
			{
				set 
				{
					id=value;
				}
				get
				{
					return id;
				}
			}
			public void addTokenNum()
			{ 
				tokenNum++; 
			} 
			public void desTokenNum()
			{ 
				tokenNum--; 
//				if(tokenNum<0) 
//					System.err.println("an error accured"); 
//				return;
				//exit(0); 
			} 	
		}
	
}