Yasir Imtiaz Khan. Optimizing Verification of Structurally Evolving Algebraic Petri Nets. In Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, editors, Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Volume 8166 of Lecture Notes in Computer Science, pages 64-78, Springer, 2013. [doi]
Abstract is missing.