Petri nets were a major candidate for the 'Turing machine of concurrency' and were very popular in the 1970s, but Lamport notes there is still a large community working on Petri nets today.
factualpending
Speaker
Leslie LamportEvidence Quote
“The patronets are are something that uh I guess I don't have time to to explain but uh there was a big it was big in the 70s.”
Source
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport— Ryan PetermanCreated: 8/12/2026, 6:17:50 PM
My Notes
Loading notes...