For the most recent entries see the
Petri Nets Newsletter.
Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata.
Cortes, Luis Alejandro;
Eles, Petru;
Peng, Zebo
In:
Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), March 18-20, 2002,Tokyo, Japan..
March 2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography