@article{(Open Science Index):https://publications.waset.org/pdf/6905,
	  title     = {STRPRO Tool for Manipulation of Stratified Programs Based on SEPN},
	  author    = {Chadlia Jerad and  Amel Grissa-Touzi and  Habib Ounelli},
	  country	= {},
	  institution	= {},
	  abstract     = {Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. SEPN nets are well adapted extension of predicate nets for the definition and manipulation of stratified programs. This formalism is characterized by two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimization (maximal stratification, incremental updates ...). We propose, in this paper, useful algorithms for manipulating stratified programs using SEPN. These algorithms were implemented and validated with STRPRO tool.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {1},
	  number    = {11},
	  year      = {2007},
	  pages     = {3578 - 3581},
	  ee        = {https://publications.waset.org/pdf/6905},
	  url   	= {https://publications.waset.org/vol/11},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 11, 2007},
	}