In: Theoretical Computer Science Vol. 153, No. 1--2, pages 65-94. 1996.
Abstract: A multiset (or Petri net) semantics is defined for the pi-calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics. This paper is readable without knowledge of Petri nets.
Back to the Petri Nets Bibliography