A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.

Elhillali Kerkouche, Allaoua Chaoui

Browse the full ICDCN paper archive.