On the computation of the minimal coverability set of Petri nets
From MaRDI portal
Publication:2330599
DOI10.1007/978-3-030-30806-3_13OpenAlexW2972139378MaRDI QIDQ2330599
Pierre-Alain Reynier, Frédéric Servais
Publication date: 22 October 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-30806-3_13
Related Items (3)
Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Stop-transitions of Petri Nets* ⋮ Computing parameterized invariants of parameterized Petri nets
This page was built for publication: On the computation of the minimal coverability set of Petri nets