Baldan, P.

• Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobocinski, Pawel:
  Processes for Adhesive Rewriting Systems. 2006.

• Baldan, Paolo; Haar, Stefan; König, Barbara:
  Distributed Unfolding of Petri Nets. 2006.

• Baldan, Paolo; Corradini, Andrea:
  On the Concurrent Semantics of Algebraic Graph Grammars. 2005.

• Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.:
  Compositional semantics for open Petri nets based on deterministic processes. 2005.

• Baldan, Paolo; Andrea, Corradini; König, Barbara:
  Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. 2004.

• Baldan, Paolo; Bruni, Roberto; Montanari, Ugo:
  Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. 2003.

• Baldan, Paolo; König, Barbara; König, Bernhard:
  A Logic for Analyzing Abstractions of Graph Transformation Systems. 2003.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  Bisimulation Equivalences for Graph Grammars. 2002.

• Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko:
  High-Level Net Processes. 2002.

• Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.:
  Compositional Modeling of Reactive Systems Using Open Nets. 2001.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  Contextual Petri Nets, Asymmetric Event Structures, and Processes. 2001.

• Baldan, P.; Busi, N.; Corradini, A.; Pinna, G.M.:
  Functional concurrent semantics for Petri nets with read arcs and inhibitor arcs. 2000.

• Baldan, Paolo; Corradini, Andrea; Montanari, Ugo:
  History Preserving Bisimulation for Contextual Nets. 1999.

• Baldan, P.; Corradini, A.; Montanari, U.:
  An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. 1998.

Back to the Petri Nets Bibliography