Kong: a Tool to Squash Concurrent Places - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Kong: a Tool to Squash Concurrent Places

Résumé

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.
Fichier principal
Vignette du fichier
paper.pdf (457.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03614426 , version 1 (20-03-2022)

Identifiants

Citer

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⟩
60 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More