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