A Petri Net Semantics for -calculus ?

  title={A Petri Net Semantics for -calculus ?},
  author={Roberto Gorrieri},
A distributed semantics for-calculus, based on P/T Petri nets with inhibitor arcs, is presented. This net semantics is sound w.r.t. the original early transition system semantics: the interleaving semantics of an agent p is retrievable from the net by considering the inter-leaving marking graph for the associated marking dec(p). Furthermore,-calculus is… CONTINUE READING