Corradini, A.

• Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobocinski, Pawel:
  Processes for Adhesive Rewriting Systems. 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; Corradini, Andrea; Montanari, Ugo:
  Bisimulation Equivalences for Graph Grammars. 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.

• Corradini, Andrea; GroÑe-Rhode, Martin; Heckel, Reiko:
  Structured Transition Systems as Lax Coalgebras. 2000.

• Corradini, Andrea:
  On the process semantics of graph- and net-based systems. 1999.

• 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.

• Corradini, A.; Montanari, Ugo:
  Specification of Concurrent Systems: from Petri Nets to Graph Grammars. 1995.

• Corradini, A.; Ferrari, G.L.; Montanari, U.:
  Transition Systems with Algebraic Structure as Models of Computations. 1990.

Back to the Petri Nets Bibliography