1. Lecture Notes in Computer Science;M. Abadi,1992
2. Boyer, M., Diaz, M.: Multiple enabledness in Petri nets with time. In: Proc. of the 9th Int. Workshop on Petri Nets and Performance Models (PNPM 2001), pp. 219–228 (2001)
3. Lecture Notes in Computer Science;U. Goltz,1992
4. Lecture Notes in Computer Science;O. Grumberg,1991
5. Janowska, A., Penczek, W., Półrola, A., Zbrzezny, A.: Towards discrete-time verification of time Petri nets with dense-time semantics. In: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P 2011), pp. 215–228. Bialystok University of Technology (2011)