Elements of Petri nets and processes - 42Papers