Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001 | 158 | 2001 |
Petri nets for modelling metabolic pathways: a survey P Baldan, N Cocco, A Marin, M Simeoni Natural Computing 9, 955-989, 2010 | 144 | 2010 |
A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001 | 122 | 2001 |
Modelling concurrent computations: from contextual Petri nets to graph grammars P Baldan PhD thesis, Department of Computer Science, University of Pisa, 2000 …, 2000 | 95 | 2000 |
Approximating the behaviour of graph transformation systems P Baldan, B König International Conference on Graph Transformation, 14-29, 2002 | 90 | 2002 |
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 | 89 | 2005 |
Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König International Conference on Concurrency Theory, 83-98, 2004 | 84 | 2004 |
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 | 79 | 2008 |
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 | 78 | 2004 |
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 | 78 | 1999 |
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 | 62 | 2012 |
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 | 60 | 2001 |
Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari Foundations of Software Science and Computation Structures: Second …, 1999 | 58 | 1999 |
Behavior preservation in model refactoring using DPO transformations with borrowed contexts G Rangel, L Lambers, B König, H Ehrig, P Baldan International Conference on Graph Transformation, 242-256, 2008 | 52 | 2008 |
Coalgebraic behavioral metrics P Baldan, F Bonchi, H Kerstan, B König Logical Methods in Computer Science 14, 2018 | 51 | 2018 |
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 | 51 | 2014 |
A logic for analyzing abstractions of graph transformation systems P Baldan, B König, B König International Static Analysis Symposium, 255-272, 2003 | 51 | 2003 |
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 | 48 | 2002 |
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 | 46 | 2003 |
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 | 44 | 1998 |