package coq-karp-miller

  1. Overview
  2. No Docs
Certified Karp-Miller algorithm for the covering of Petri nets

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Maintainers

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Sources

Karp-Miller-1.1.tar.gz
sha256=240c7b0788df232d448c395241a7825feffb9c337d17cf3d3039708a9fcfbc4b

Description

Based on the Kruskal-AlmostFull library, we build two correct by construction Karp-Miller algorithms: the first one decides for the coverability problem; and the second one, a refined version, builds the Karp-Miller tree and, either a path in that tree giving a covering, or a proof that no such path exists in the Karp-Miller trees.

Tags

category:Computer Science/Data Types and Data Structures date:2024-11-22 logpath:KarpMiller

Published: 23 Nov 2024

Dev Dependencies

None

Used by

None

Conflicts

None