PN2Maude: An automatic tool to generate Maude specification for Petri net modelsAmmar Boucherit، Messaoud Abbas، Lamouri Mohamed Lamine، Osman HasanComputer Science Journal of Moldovaالمجلّد 31، (2 (92))، الصفحات 272-2962023مقال وصول مفتوح
