For the most recent entries see the Petri Nets Newsletter.

Verification: Deductive and Process-Algebra-Based Methods.

Stehr, M.-O.; Farwer, B.; Basten, T.

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