A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Work
Year: 2022
Type: article
Abstract: 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... more
Source: Fundamenta Informaticae
Institutions Institut National des Sciences Appliquées de Toulouse, Université de Toulouse, Centre National de la Recherche Scientifique, Laboratoire d'Analyse et d'Architecture des Systèmes
Cites: 14
Cited by: 6
Related to: 10
FWCI: 1.488
Citation percentile (by year/subfield): 87.87
Subfield: Management Information Systems
Domain: Social Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green