💾 Archived View for siiky.srht.site › wiki › petri_nets.gmi captured on 2023-09-08 at 16:40:02. Gemini links have been rewritten to link to archived content

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

Petri nets

siiky

2023/05/14

2023/08/19

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