Automated Polyhedral Abstraction Proving

Autor: Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan

Publikováno v: Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023)
44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩

International audience; We propose an automated procedure to prove polyhedral abstractions for Petri nets. Polyhedral abstraction is a new type of state-space equivalence based on the use of linear integer constraints. Our approach relies on an encod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cabce154f332efecde76c8bafa58d4d
https://doi.org/10.1007/978-3-031-33620-1_18

Kong: A Tool to Squash Concurrent Places

Autor: Amat, Nicolas, Chauvet, Louis

Publikováno v: Application and Theory of Petri Nets and Concurrency ISBN: 9783031066528
43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022)
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⟩

International audience; 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 p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6364aac25588f548d830b4dd8c8938e2
https://doi.org/10.1007/978-3-031-06653-5_6

A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking

Autor: Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio

Publikováno v: Fundamenta Informaticae
Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩

International audience; We define a new method for taking advantage of net reductions in combination with a SMT-based model checker. Our approach consists in transforming a reachability problem about some Petri net, into the verification of an update

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfd9d9608b24b53d500715bc9b4fdf93
http://arxiv.org/abs/2104.09850

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Abstractocyte: A Visual Tool for Exploring Nanoscale Astroglial Cells

Autor: Mohammed, Haneen

This thesis presents the design and implementation of Abstractocyte, a system for the visual analysis of astrocytes, and their relation to neurons, in nanoscale volumes of brain tissue. Astrocytes are glial cells, i.e., non-neuronal cells that suppor

Externí odkaz: http://hdl.handle.net/10754/624967
http://repository.kaust.edu.sa/kaust/handle/10754/624967