APN
2003
Springer
13 years 10 months ago
2003
Springer
APN
2003
Springer
13 years 10 months 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...