A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation.
Elhillali KerkoucheAllaoua ChaouiPublished in: ICDCN (2009)
Keyphrases
- analysis tool
- graph transformation
- modeling framework
- statistical analysis
- quantitative analysis
- probabilistic model
- bayesian framework
- modelling language
- main contribution
- empirical data
- data sets
- formal specification
- experimental data
- mathematical framework
- model construction
- conceptual model
- process model
- complex systems
- model selection
- software engineering
- image analysis
- data analysis
- neural network