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;
Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), March 18-20, 2002,Tokyo, Japan..
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography