How does the memory work? By timed-arc Petri nets | IEEE Conference Publication | IEEE Xplore