Skeleton Abstraction for Universal Temporal Properties

Sophie Wallner, Karsten Wolf

Uniform coloured Petri nets can be abstracted to their skeleton, the place/transition net that simply turns the coloured tokens into black tokens. A coloured net and its skeleton a…