A major new feature in v2.6: an on-the-fly TCTL model checker for Time Petri Nets

April 25, 2005 on 5:16 pm | In Releases |

Recent efforts focused on the conception of an on-the-fly TCTL model checker for Time Petri Nets. It has recently been implemented in the Mercutio computation module.

To our knowledge, Roméo is the first TPN-analysis tool that implements TCTL model-checking.

Roméo v2.6.0 is available in the download section.

4 Comments

  1. Discount phentermine.

    Discount phentermine. Buying phentermine discount. Phentermine at discount p.

    Trackback by Discount phentermine. — January 31, 2007 #

  2. Cheap 30 mg phentermine pay cash on delivery.

    Cheap phentermine. Buy cheap phentermine free fedex. Cheap 30 mg phentermine pay cash on delivery. Cheap phentermine cod.

    Trackback by Buy cheap phentermine online. — February 3, 2007 #

  3. Hydrocodone.

    Hydrocodone. Hydrocodone online. Hydrocodone apap. Buy hydrocodone online without a prescription.

    Trackback by Buy hydrocodone online. — February 4, 2007 #

  4. Phentermine cheap.

    Cheap phentermine online. Extra cheap phentermine. Order phentermine online buy cheap pharmacy here.

    Trackback by Cheap phentermine. — February 4, 2007 #

Sorry, the comment form is closed at this time.

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^