Re: [Pharo-users] Petri nets and workflow patterns