Sciweavers

APN
2001
Springer
14 years 4 days ago
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
Roberto Bruni, Vladimiro Sassone