Such a coincidence! I have actually created a Petri net implementation for Common Lisp two months ago to model an asynchronous process of downloading various de

Such a coincidence! I have actually created a Petri net implementation for Common Lisp two months ago to model an asynchronous process of downloading various dependend things from a REST web server. The tokens may be arbitrary Lisp data and transitions are functions with some internal structure (Lispspeak: funcallable instances). The net functions well with multiple threads and is therefore fully async. https://github.com/phoe/petri https://github.com/phoe/petri