Wlodek M. Zuberek. Symbolic Analysis of Timed Petri Nets. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors, Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland. Volume 365 of Advances in Intelligent Systems and Computing, pages 593-602, Springer, 2015. [doi]
Abstract is missing.