On Petri nets and other models of concurrency

On Educational Issues

On IOPT-Tools