Improving Saturation Efficiency with Implicit Relations

Shruti Biswal, Andrew S. Miner. Improving Saturation Efficiency with Implicit Relations. In Susanna Donatelli, Stefan Haar, editors, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Volume 11522 of Lecture Notes in Computer Science, pages 301-320, Springer, 2019. [doi]

Abstract

Abstract is missing.