• Publications
  • Influence
A Static Analysis Technique for Graph Transformation Systems
TLDR
We present an algorithm which, given a graph transformation system and a start graph, produces a finite structure consisting of a hypergraph decorated with transitions (Petri graph) which can be seen as an approximation of the Winskel style unfolding of theGraph transformation system. Expand
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
TLDR
Graph grammars (or graph transformation systems), originally introduced as a generalization of string Grammars, can be seen as a powerful formalism for the specification of concurrent and distributed systems, which properly extends Petri nets. Expand
Contextual Petri Nets, Asymmetric Event Structures, and Processes
TLDR
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (read-only operations). Expand
Petri nets for modelling metabolic pathways: a survey
TLDR
In the last 15 years, several research efforts have been directed towards the representation and the analysis of metabolic pathways, which are complex networks of biochemical reactions describing flows of substances. Expand
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
TLDR
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. Expand
A Logic for Analyzing Abstractions of Graph Transformation Systems
TLDR
We introduce a monadic second-order logic over graphs expressive enough to characterise typical graph properties, and show how its formulae can be effectively verified. Expand
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures
TLDR
We address the problem of diagnosing behavioral differences between pairs of business process models in terms of behavioral relations captured in one model but not in the other. Expand
Coalgebraic Behavioral Metrics
TLDR
We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Expand
Concurrent semantics of algebraic graph transformations
TLDR
Graph transformation systems are widely recognized as a powerful formalism for the specification of concurrent and distributed systems. Expand
Approximating the Behaviour of Graph Transformation Systems
TLDR
We propose a technique for the analysis of graph transformation systems based on the construction of finite structures approximating the behaviour of such systems with arbitrary accuracy. Expand
...
1
2
3
4
5
...