Validation environment of UML2 IOD based on hierarchical coloured Petri nets

Miloud Bennama, Thouraya Bouabana-Tebibel. Validation environment of UML2 IOD based on hierarchical coloured Petri nets. IJCAT, 47(2/3):227-240, 2013. [doi]

Abstract

Abstract is missing.