Anna Dedova, Irina Virbitskaite. Towards Parametric Verification of Prioritized Time Petri Nets. In Victor Malyshkin, editor, Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings. Volume 5698 of Lecture Notes in Computer Science, pages 19-25, Springer, 2009. [doi]
Abstract is missing.