Aller au contenu
Université Echahid Hamma Lakhdar d’El OuedPortail de la recherche
Autre

An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets

Ammar Boucherit, Kamel Barkaoui, Osman Hasan