wannabegeometer

19 ms·

1. 1.▲
   by wannabegeometer 29d ago

   i always just used input remapper on linux
2. 2.▲
   by wannabegeometer 7mo ago

   Interestingly, one can formalize (open) petri nets using category theory. This is very nicely described by John Baez [here]( https://math.ucr.edu/home/baez/petri.pdf ), and naturally gives compositions of petri nets