On Petri nets and other models of concurrency

On Educational Issues

under construction...