siiky2023/08/182023/09/132023/09/13video,formal_methods,petri_nets,computer_science,programming
Talk by the author of gen_pnet, a Petri nets implementation in Erlang, about Petri nets and why they're superior to state machines.