Kong: a Tool to Squash Concurrent Places - Équipe Verification de Systèmes Temporisés Critiques 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⟩
74 Consultations
35 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More