Sample applications
Petri nets