Walter Alan Cantrell, Katia P. Maxwell, Mikel D. Petty, Tymaine S. Whitaker. Matrix Reduction Verification of Extended Petri Nets. In J. Morris Chang, Dan Lo, Eric Gamess, editors, Proceedings of the 2020 ACM Southeast Conference, ACM SE '20, Tampa, FL, USA, April 2-4, 2020. pages 296-299, ACM, 2020. [doi]
Abstract is missing.