37 search results - page 8 / 8 » Petri Nets and Matrix Graph Grammars: Reachability |
AGTIVE
2007
Springer
13 years 9 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
PE
2011
Springer
12 years 12 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...