For the most recent entries see the
Petri Nets Newsletter.
Model Checking of Time Petri Nets Using the State Class Timed Automaton.
Lime, Didier;
Roux, Olivier H.
In:
Discrete Event Dynamic Systems, Volume V16, 2, 2006, pages 179-205.
April 2006.
URL: http://dx.doi.org/10.1007/s10626-006-8133-9.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography