4 ms·
Petri nets are often used for theorem proving about state machines and systems. So, yeah, good instincts!
by cwingrav 7y ago
Petri nets are often used for theorem proving about state machines and systems. So, yeah, good instincts!
loading thread…