P
Paolo Baldan
Researcher at University of Padua
Publications - 149
Citations - 2473
Paolo Baldan is an academic researcher from University of Padua. The author has contributed to research in topics: Petri net & Graph rewriting. The author has an hindex of 27, co-authored 145 publications receiving 2335 citations. Previous affiliations of Paolo Baldan include University of Pisa & Ca' Foscari University of Venice.
Papers
More filters
Journal ArticleDOI
Contextual Petri nets, asymmetric event structures, and processes
TL;DR: An event structure semantics for contextual nets is presented, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (read-only operations), and the relation between the proposed unfolding semantics and several deterministic process semantics for context nets in the literature is investigated.
Journal ArticleDOI
Petri nets for modelling metabolic pathways: a survey
TL;DR: A comprehensive review of recent research on the representation and analysis of metabolic pathways by using Petri nets is presented in order to assess the maturity of the field and the availability of a methodology for modelling a metabolic pathway by a corresponding Petri net.
Book ChapterDOI
A Static Analysis Technique for Graph Transformation Systems
TL;DR: An algorithm is presented 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.
Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
TL;DR: This thesis provides graph transformation systems with truly concurrent semantics based on (concatenable) processes and on a Winskel’s style unfolding construction, as well as with more abstract semanticsbased on event structures and domains.
Book ChapterDOI
Approximating the Behaviour of Graph Transformation Systems
Paolo Baldan,Barbara König +1 more
TL;DR: Finite over- and under-approximations can be used to check properties of a graph transformation system, like safety and liveness properties, expressed in (meaningful fragments of) the modal µ-calculus by embedding the approach in the general framework of abstract interpretation.