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