Text this: Petri nets and performance models