@article{(Open Science Index):https://publications.waset.org/pdf/2639,
	  title     = {From Forbidden States to Linear Constraints},
	  author    = {M. Zareiee and  A. Dideban and  P. Nazemzadeh},
	  country	= {},
	  institution	= {},
	  abstract     = {This paper deals with the problem of constructing
constraints in non safe Petri Nets and then reducing the number of the
constructed constraints. In a system, assigning some linear constraints
to forbidden states is possible. Enforcing these constraints on the
system prevents it from entering these states. But there is no a
systematic method for assigning constraints to forbidden states in non
safe Petri Nets. In this paper a useful method is proposed for
constructing constraints in non safe Petri Nets. But when the number of these constraints is large enforcing them on the system may complicate the Petri Net model. So, another method is proposed for reducing the number of constructed constraints. },
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {5},
	  number    = {1},
	  year      = {2011},
	  pages     = {97 - 103},
	  ee        = {https://publications.waset.org/pdf/2639},
	  url   	= {https://publications.waset.org/vol/49},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 49, 2011},
	}