Filter your results
- 5
- 4
- 1
- 5
- 3
- 2
- 5
- 5
- 5
- 4
- 2
- 1
- 1
- 1
5 Results
|
|
sorted by
|
|
Kong: a Tool to Squash Concurrent Places43rd 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⟩
Conference papers
hal-03614426v1
|
||
|
Property Directed Reachability for Generalized Petri NetsTools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩
Conference papers
hal-03545594v1
|
||
|
On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets42rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021), Jun 2021, Paris (virtual), France. ⟨10.1007/978-3-030-76983-3_9⟩
Conference papers
hal-03202111v1
|
||
|
Accelerating the Computation of Dead and Concurrent Places using Reductions27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Conference papers
hal-03268388v1
|
||
|
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model CheckingFundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩
Journal articles
hal-03455697v2
|