An office analysis methodology using Petri nets and playscripts | IEEE Journals & Magazine | IEEE Xplore