For the most recent entries see the
Petri Nets Newsletter.
Magnin, M.
-
Gardey, Guillaume;
Lime, Didier;
Magnin, Morgan;
Roux, Olivier (H.):
Romeo: A Tool for Analyzing Time Petri Nets.
2005.
-
Gardey, Guillaume;
Lime, Didier;
Magnin, Morgan;
Roux, Olivier (H.):
Romeo: A Tool for Analyzing time Petri nets.
2005.
-
Magnin, Morgan;
Lime, Didier;
Roux, Olivier (H.):
An efficient method for computing exact state space of Petri nets with stopwatches.
2005.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography