For the most recent entries see the Petri Nets Newsletter.

Verification: Structural Methods.

Colom, J.M.; Silva, M.; Teruel, E.; Haddad, S.

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