Petri nets and regular processes
scientific article; zbMATH DE number 1417882
scientific article