For the most recent entries see the Petri Nets Newsletter.

Symbolic Model Checking of Dual Transition Petri Nets.

Varea, Mauricio; Cortes, Luis Alejandro; Al-Hashimi, Bashir; Eles, Petru; Peng, Zebo

In: Software Codesign (CODES 2002), Estes Park, Colorado, USA: 10th International Symposium on Hardware. May 2002.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography