I have a comprehensive library of software functionality for modeling simulated robotics systems, with all the synchronization primitives supplied. The motivation was essentially building everything in a virtual reality environment before putting it to metal. The library is software engineered and has evolved over many years. This is the first 2 pages of the user's manual, first iteration circa 1997.

>

![pace](https://imagizer.imageshack.com/img924/50/vJDYrb.png)

>

[This paper](https://dl.acm.org/doi/pdf/10.1145/1315580.1315592) was based on a spin-off application. If you read the text and start pondering a bit, you will realize that all of analog electronics and all of digital logic can also be converted to a Petri net formalism. The emitter-base-collector of a BJT used for amplification even looks like a Petri net symbol, while the gated CMOS transistors used in logic are also individual place/bar primitives. My favorite language for logic design, VHDL, essentially provides all the Petri net primitives via source code, so any net can be synthesized, see for example [Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets](https://hal-lara.archives-ouvertes.fr/lirmm-02611153/).

The bottom-line is that as with AI, which has been completely subsumed by practical applications, the same thing applies to Petri nets in terms of building devices. I don't know if this information helps with finding good homework or simulation problems, but there are still many research ideas percolating about https://www.researchgate.net/publication/335573082_Design_and_Verification_of_Cyber-Physical_Systems_Specified_by_Petri_Nets-A_Case_Study_of_a_Direct_Matrix_Converter