S1.02 - Syntax and Semantics of Symmetric Nets (pdf)

Published: Sept. 30, 2015, 10 a.m.

This sequence presents the syntax and semantics of Symmetric nets, so that a rigorous presentation of their firing rule can be given, together with an example. The specific basic colour functions that are used in Symmetric nets are also detailed.