For the most recent entries see the
Petri Nets Newsletter.
Finite and Infinite Model Checking of Dual Transition Petri Net Models.
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.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography