For the most recent entries see the Petri Nets Newsletter.

Symbolic Execution of Nets Using Rewrite Systems.

Fonio, Harald-Reto

Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, ESPRIT Project 125 - GRASPIN, Technical Paper GMD 32/1, February 1987.

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

Back to the Petri Nets Bibliography