Release of Roméo v2.6.3

May 29, 2006 on 9:12 pm | In Releases |

A small annoying bug was still in TCTL model-checker in version 2.6.1. It has been fixed as soon as it has been discovered.
Meanwhile, the GUI has been updated: places, transitions and edges can be drawn with different colors in order to improve the clarity of your Petri nets.

Roméo v2.6.3 is available in the download section (Roméo v2.6.2 was just a development version).

5 Comments

  1. Dear developers,
    we have observed that the new version (2.6.3) performs better then 2.6.1 in GPN, but from two to three times worse in mercutio. The examples we are using are Oex15.xml (distributed in your distribution), a couple of philosopher examples (with 4 and 5 phil.) and a slotted ring model. The maximum number of location of the automata is below 40 thousand in all examples.
    Is this a phenomenon that you have also observed?
    Thanks in advance.

    Comment by Jeremy Sproston — June 14, 2006 #

  2. Dear Jeremy Sproston,

    We have not yet observed the phenomenon you report.

    We are currently investigating this issue. It may be an unexpected consequence of the recent change in the compiler we use (formerly gcc 3.4, now gcc 4.0.1). We will give more information about it as soon as possible.

    Could you please give us more information about the distribution you use: Windows, Linux or MacOS ?

    Thank you for your interest !

    Comment by Morgan — June 14, 2006 #

  3. Discount phentermine.

    Discount phentermine. Discount phentermine for 103. Discount phentermine discount phentermine discount.

    Trackback by Discount phentermine without a prescription. — February 2, 2007 #

  4. Phentermine online purchase.

    Phentermine 37 5mg. Phentermine. Abuse phentermine. How does phentermine work. Phentermine florida. Best price for phentermine.

    Trackback by Phentermine. — February 3, 2007 #

  5. Tramadol hcl.

    Tramadol hcl. Tramadol hcl 50 mg tablet.

    Trackback by Tramadol hcl liquid. — February 5, 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^

. HugeDomains.com - LoadupDates.com is for sale (Loadup Dates)

Hundreds of thousands of premium domains

Questions? We're here to help! Call today:

1-303-893-0552

LoadupDates.com is for sale

Buy Now: $795
  • Take Immediate ownership
  • Transfer the domain to the Registrar of your choosing
OR
Finance This Domain: $795 12 monthly payments of $67
  • 12 monthly payments, only $66.25 per month
  • Start using the domain today See details

Talk to a domain expert: 1-303-893-0552

Hurry - once it's sold this opportunity will be gone!

Besides being memorable, .com domains are unique: This is the one and only .com name of its kind. Other extensions usually just drive traffic to their .com counterparts. To learn more about premium .com domain valuations, watch the video below:

Turbocharge your Web site. Watch our video to learn how.

Improves Your Web Presence

Get noticed online with a great domain name

73% of all domains registered on the Web are .coms. The reason is simple: .com is the where most of Web traffic happens. Owning a premium .com gives you great benefits including better SEO, name recognition, and providing your site with a sense of authority.

Here's What Others Are Saying

Since 2005, we've helped thousands of people get the perfect domain name
  • Very easy and safe - Tuan Nguyen, 7/30/2018
  • Very straight forward process to select and order domains. My conversations with Huge Domains were very professional and convinced me to do business with them. - John Massey, 7/30/2018
  • Excellent domain purchases experience. Great customer service. Easy and smooth process. Fantastic support. Highly recommended! - Mazen M, 7/30/2018
  • More testimonials

LoadupDates.com

Own this domain today

Our Price: $795 (USD)

Questions?
Speak with a domain specialist!
Call us: 1-303-893-0552 M-F 9am - 5pm MST
Other Domains You Might Like

© 2018 HugeDomains.com. All rights reserved.

. HugeDomains.com - LoadupDates.com is for sale (Loadup Dates)

Hundreds of thousands of premium domains

Questions? We're here to help! Call today:

1-303-893-0552

LoadupDates.com is for sale

Buy Now: $795
  • Take Immediate ownership
  • Transfer the domain to the Registrar of your choosing
OR
Finance This Domain: $795 12 monthly payments of $67
  • 12 monthly payments, only $66.25 per month
  • Start using the domain today See details

Talk to a domain expert: 1-303-893-0552

Hurry - once it's sold this opportunity will be gone!

Besides being memorable, .com domains are unique: This is the one and only .com name of its kind. Other extensions usually just drive traffic to their .com counterparts. To learn more about premium .com domain valuations, watch the video below:

Turbocharge your Web site. Watch our video to learn how.

Improves Your Web Presence

Get noticed online with a great domain name

73% of all domains registered on the Web are .coms. The reason is simple: .com is the where most of Web traffic happens. Owning a premium .com gives you great benefits including better SEO, name recognition, and providing your site with a sense of authority.

Here's What Others Are Saying

Since 2005, we've helped thousands of people get the perfect domain name
  • Very easy and safe - Tuan Nguyen, 7/30/2018
  • Very straight forward process to select and order domains. My conversations with Huge Domains were very professional and convinced me to do business with them. - John Massey, 7/30/2018
  • Excellent domain purchases experience. Great customer service. Easy and smooth process. Fantastic support. Highly recommended! - Mazen M, 7/30/2018
  • More testimonials

LoadupDates.com

Own this domain today

Our Price: $795 (USD)

Questions?
Speak with a domain specialist!
Call us: 1-303-893-0552 M-F 9am - 5pm MST
Other Domains You Might Like

© 2018 HugeDomains.com. All rights reserved.