For the most recent entries see the Petri Nets Newsletter.

Finite and Infinite Model Checking of Dual Transition Petri Net Models.

Varea, Mauricio; Al-Hashimi, Bashir; Leuschel, Michael

In: Proceedings of the Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), Technical Report CSR-02-6, School of Computer Science, the University of Birmingham. 2002.

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

Back to the Petri Nets Bibliography