💾 Archived View for siiky.srht.site › wiki › petri_nets.gmi captured on 2023-05-24 at 19:47:38. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Petri nets

siiky

2023/05/14

programming,formal-methods,computer-science

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Petri_net

A formal and graphical mathematical modeling language.

../petri_nets/logs.gmi

How do Petri nets compare with interaction nets?

interaction_nets.gmi