On the computation of the minimal coverability set of Petri nets

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

zbMATH Keywords

Petri netsaccelerationcoverability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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