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