Yasir Imtiaz Khan, Matteo Risoldi. Optimizing Algebraic Petri Net Model Checking by Slicing. In Daniel Moldt, editor, Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. Volume 989 of CEUR Workshop Proceedings, pages 275-294, CEUR-WS.org, 2013. [doi]
Abstract is missing.