Sciweavers

AMAST
2008
Springer
14 years 1 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci