Skip to content
Snippets Groups Projects
Commit 30416d1a authored by Florent Jaillet's avatar Florent Jaillet
Browse files

Correcting link in readme.me

parent 63a948a8
Branches
Tags v1.0.0
No related merge requests found
Pipeline #
......@@ -31,8 +31,7 @@ file format defined by the standard ISO/IEC 15909 Part 2.
See [pnml.org](http://www.pnml.org) for details about this format.
<a name="article"></a> It uses the monotone pruning algorithm proposed in the
[article](http://pageperso.lif.univ-mrs.fr/~pierre-alain.reynier/publis/
fi13.pdf):
[article](http://pageperso.lif.univ-mrs.fr/~pierre-alain.reynier/publis/fi13.pdf):
> Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with
> Pruning.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment