Petri Net Script: a visual language for describing action, behaviour and plot | IEEE Conference Publication | IEEE Xplore