For the most recent entries see the
Petri Nets Newsletter.
Automatisch überprüfbare Beweistechniken für algebraische Petrinetze.
Kindler, Ekkart;
Vesper, Tobias
In:
Desel, J.; Kindler, E.; Oberweis, A.: 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Oct, 1996, Karlsruhe, Germany, pages 33-38.
1996.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography