Noura Boudiaf and  Abdelhamid Djebbar,  Towards an Automatic Translation of Colored Petri Nets to Maude Language.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2009, vol. 27(3). 766 - 771
    [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/8307.