Kong: A Tool to Squash Concurrent Places

Nicolas Amat, Louis Chauvet. Kong: A Tool to Squash Concurrent Places. In Luca Bernardinello, Laure Petrucci, editors, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Volume 13288 of Lecture Notes in Computer Science, pages 115-126, Springer, 2022. [doi]

Abstract

Abstract is missing.