Agata Pólrola, Piotr Cybula, Artur Meski. SMT-Based Reachability Checking for Bounded Time Petri Nets. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 332-341, CEUR-WS.org, 2013. [doi]
Abstract is missing.