Follow
Paolo Baldan
Paolo Baldan
Professor of Computer Science, University of Padova
Verified email at math.unipd.it - Homepage
Title
Cited by
Cited by
Year
Contextual Petri nets, asymmetric event structures, and processes
P Baldan, A Corradini, U Montanari
Information and Computation 171 (1), 1-49, 2001
1532001
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9, 955-989, 2010
1292010
A static analysis technique for graph transformation systems
P Baldan, A Corradini, B König
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
1212001
Modelling concurrent computations: from contextual Petri nets to graph grammars
P Baldan
PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000
902000
Approximating the behaviour of graph transformation systems
P Baldan, B König
Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002
872002
Verifying finite-state graph grammars: an unfolding-based approach
P Baldan, A Corradini, B König
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
832004
Compositional semantics for open Petri nets based on deterministic processes
P Baldan, A Corradini, H Ehrig, R Heckel
Mathematical Structures in Computer Science 15 (1), 1-35, 2005
802005
Concurrent semantics of algebraic graph transformation
P Baldan, A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi
Handbook of Graph Grammars and Computing by Graph Transformation 3, 107-187, 1999
731999
A framework for the verification of infinite-state graph transformation systems
P Baldan, A Corradini, B König
Information and Computation 206 (7), 869-907, 2008
722008
Domain and event structure semantics for Petri nets with read and inhibitor arcs
P Baldan, N Busi, A Corradini, GM Pinna
Theoretical Computer Science 323 (1-3), 129-189, 2004
702004
Efficient unfolding of contextual Petri nets
P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon
Theoretical Computer Science 449, 2-22, 2012
572012
Compositional modeling of reactive systems using open nets
P Baldan, A Corradini, H Ehrig, R Heckel
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
562001
Unfolding and event structure semantics for graph grammars
P Baldan, A Corradini, U Montanari
Foundations of Software Science and Computation Structures: Second …, 1999
541999
Behavioral comparison of process models based on canonically reduced event structures
A Armas-Cervantes, P Baldan, M Dumas, L García-Bańuelos
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
512014
A logic for analyzing abstractions of graph transformation systems
P Baldan, B König, B König
Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003
492003
Behavior preservation in model refactoring using DPO transformations with borrowed contexts
G Rangel, L Lambers, B König, H Ehrig, P Baldan
Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008
482008
AGILE: Software architecture for mobility
L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ...
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
432003
High-level net processes
H Ehrig, K Hoffmann, J Padberg, P Baldan, R Heckel
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 191-219, 2002
432002
McMillan’s complete prefix for contextual nets
P Baldan, A Corradini, B König, S Schwoon
Transactions on Petri Nets and Other Models of Concurrency I, 199-220, 2008
422008
An event structure semantics for P/T contextual nets: Asymmetric event structures
P Baldan, A Corradini, U Montanari
Foundations of Software Science and Computation Structures: First …, 1998
421998
The system can't perform the operation now. Try again later.
Articles 1–20