Skip to Main content Skip to Navigation
New interface
Conference papers

Kong: a Tool to Squash Concurrent Places

Nicolas Amat 1 Louis Chauvet 1 
1 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Kong, the Koncurrent places Grinder, is a tool designed to compute the concurrency relation of a Petri net by taking advantage of structural reductions. The specificity of Kong is to rely on a state space abstraction, called polyhedral abstraction in previous works, that involves a combination of structural reductions and linear arithmetic constraints between the marking of places.
Document type :
Conference papers
Complete list of metadata
Contributor : Nicolas Amat Connect in order to contact the contributor
Submitted on : Sunday, March 20, 2022 - 3:07:20 PM
Last modification on : Tuesday, October 25, 2022 - 11:58:11 AM


Files produced by the author(s)



Nicolas Amat, Louis Chauvet. Kong: a Tool to Squash Concurrent Places. 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. ⟨10.1007/978-3-031-06653-5_6⟩. ⟨hal-03614426⟩



Record views


Files downloads