Thanks! Didn’t know about Petri nets, makes me wonder if this all didn’t start with Red/Black binary trees, so named because that’s the two colors of ink they h

Thanks! Didn’t know about Petri nets, makes me wonder if this all didn’t start with Red/Black binary trees, so named because that’s the two colors of ink they had on hand, cited 1978: https://softwareengineering.stackexchange.com/questions/116614/where-does-the-term-red-black-tree-come-from https://softwareengineering.stackexchange.com/questions/1166...