From my POV, the application roots are in complex robotics software and in OS's involving lots of parallel activities. Most of the fundamental computer science work was done by [Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra), [Hoare](https://en.wikipedia.org/wiki/Tony_Hoare), [Dahl](https://en.wikipedia.org/wiki/Ole-Johan_Dahl), and of course [Petri](https://en.wikipedia.org/wiki/Carl_Adam_Petri) in terms of communicating automata. Between those four you will find the foundation behind just about every fundamental concept in real-time/distributed/object-oriented/structured programming.

> *aside*: I was confused by the idea that Petri nets were first applied to chemical reactions in 1939, because this does not coincide with Carl Petri's work in CompSci. Only now do I find that Petri developed the concept when he was only 13 years old, and he apparently switched over to studying computers when he was 15!

This 2014 thesis from Hoare's alma mater at Eindhoven appears quite comprehensive on first look => [Petri nets for modeling robots](https://pure.tue.nl/ws/files/3989333/780942.pdf). This stuff is not for the faint-of-heart -- I spent 20 years developing virtual reality simulations for robotics applications and the complexity is often mind-reeling. Every time I had to simulate a working part, invariably I started with a Petri net sketch describing the handoff synchronization points.

Now the connection of robotics to the behavior of viruses is that the mechanics of how viruses replicate is robotic in terms of all the handoffs necessary. It's very easy to interfere with the operation of a robot by messing with the synchronization points and that's the primary means to fight off a viral infection.

![](https://www.researchgate.net/profile/Nanxi_Wang/post/How_to_draw_a_diagram_for_a_biological_pathway/attachment/59d624616cda7b8083a1fac2/AS%3A383165077180417%401468365081946/download/nrmicro3132-f2.jpg)


Based on this research => [Modelling the Structure and Dynamics of
Biological Pathways](https://europepmc.org/article/med/27509052), this is an intro to how virus modelers are using Signalling Petri Nets

https://www.youtube.com/watch?v=1IPOIE0PvQY

and the tool they are using

https://www.youtube.com/watch?v=51rJ80g1LvA