Nicolas Riviere, Brigitte Pradin-Chezalviel, Robert Valette. Reachability and Temporal Conflicts in t-Time Petri Nets. In Reinhard German, Boudewijn R. Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. pages 229-238, IEEE Computer Society, 2001. [doi]
Abstract is missing.