A mathematical modelling language for describing distributed discrete-event systems.
- petrinet.org is an interactive explanation of Petri Nets built using Statebox.
- Includes a great list of VPLs.
- Lists all the Wikipedia articles in the VPL category.
- I recommend searching for languages you're interested in, seeing what sections they appear within, then looking at other languages in those sections.