[Pharo-users] Petri nets and workflow patterns