For the most recent entries see the Petri Nets Newsletter.

Verification: State-Space-Based Methods and Model Checking.

Dutheillet, C.; Vernier-Mounier, I.; Ilié, J.-M.; Poitrenaud, D.

In: C. Girault, R. Valk: Petri Nets for Systems Engineering, pages 201-276. Springer Verlag, 2002.

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

Back to the Petri Nets Bibliography