For the most recent entries see the Petri Nets Newsletter.

Romeo: A Tool for Analyzing time Petri nets.

Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)

In: , 3576: 17th International Conference on Computer Aided Verification (CAV'05). Springer, July 2005.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography