Xuandong Li, Johan Lilius. Checking time Petri nets for linear duration properties. In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999. pages 218-227, IEEE, 1999. [doi]
Abstract is missing.