A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation

Nardjes Dehimi, Raida Elmansouri, Allaoua Chaoui. A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation. In Rachid Benlamri, editor, Networked Digital Technologies - 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II. Volume 294 of Communications in Computer and Information Science, pages 403-414, Springer, 2012. [doi]

Abstract

Abstract is missing.