Changes between Version 1 and Version 2 of Events/PN2011/Diary

Timestamp:

Jun 22, 2011, 4:53:18 PM (13 years ago)

Author:

Lawrence Cabac

Comment:

--

Events/PN2011/Diary

@@ -8 +8 @@
  * [http://www2.imm.dtu.dk/~eki/ Kindler] ePNK
  * [http://westergaard.eu/tag/coloured-petri-nets/ Westergaard] AccesCPN 2.0
+
+== Tool Session ==
+ * [http://www.lsv.ens-cachan.fr/~finkel/ Finkel] T-Bounded
+ * Colange Crocodile
+ * [http://cs.ulb.ac.be/public/members/fservais Servais] Minimal coverability