83 search results - page 8 / 17 » Implementing Petri Net Transformations using Graph Transform... |
106
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
161
click to vote
CORR
2010
Springer
15 years 12 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
108
Voted
HCW
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
129
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
111
click to vote
ENTCS
2007
15 years 1 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...