APN
2003
Springer
14 years 20 days ago
2003
Springer
APN
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...