Algebraic Models for Contextual Nets

Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors.

• Type: Conference
• Year: 2000
• Where: ICALP
• Authors: Roberto Bruni, Vladimiro Sassone
• Keywords: Contextual Nets, ICALP 2000, Individual Token Philosophy, Place/transition Petri Nets, Programming Languages