For the most recent entries see the Petri Nets Newsletter.

Introduction: Issues in Verification.

Haddad, S.

In: C. Girault, R. Valk: Petri Nets for Systems Engineering, pages 183-200. 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