For those who are interested, Petri nets have a lot of applications in CS, for example, spiking neural networks.