@article{(Open Science Index):https://publications.waset.org/pdf/8307,
	  title     = {Towards an Automatic Translation of Colored Petri Nets to Maude Language},
	  author    = {Noura Boudiaf and  Abdelhamid Djebbar},
	  country	= {},
	  institution	= {},
	  abstract     = {Colored Petri Nets (CPN) are very known kind of
high level Petri nets. With sound and complete semantics, rewriting
logic is one of very powerful logics in description and verification of
non-deterministic concurrent systems. Recently, CPN semantics are
defined in terms of rewriting logic, allowing us to built models by
formal reasoning. In this paper, we propose an automatic translation
of CPN to the rewriting logic language Maude. This tool allows
graphical editing and simulating CPN. The tool allows the user
drawing a CPN graphically and automatic translating the graphical
representation of the drawn CPN to Maude specification. Then,
Maude language is used to perform the simulation of the resulted
Maude specification. It is the first rewriting logic based environment
for this category of Petri Nets.},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {3},
	  number    = {3},
	  year      = {2009},
	  pages     = {766 - 771},
	  ee        = {https://publications.waset.org/pdf/8307},
	  url   	= {https://publications.waset.org/vol/27},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 27, 2009},
	}