Dialectica Petri Nets
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
Petri nets的分类建模最近受到很多关注。 方言建筑也得到了相当的关注。 我们重新审视了Dialectica结构的使用,作为Petri nets的分类模型,该模型将原始应用概括为原始应用,以表明具有不同类型过渡的Petri网络可以在相同的分类框架中建模。 代表真值、概率、速率或乘数的转换,在不同的代数结构中评估,称为 lineales 是有用的,并且在同一类别中建模。 我们研究(分类实例)这种广义模型及其与最近分类网模型的连接。
The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in the same categorical framework. Transitions representing truth-values, probabilities, rates or multiplicities, evaluated in different algebraic s...