diff --git a/readme.md b/readme.md index d11bcf8397348f752e455f95ad88cc8049868fb2..959c339a66193331d80a91aac3da5ca6859222cb 100644 --- a/readme.md +++ b/readme.md @@ -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.