including queuing networks, Petri nets and automata, are detailed together with their