For the most recent entries see the
Petri Nets Newsletter.
Model Checking of a class of high level Petri nets.
Thielke, Thomas
In:
Desel, J.; Kindler, E.; Oberweis, A.: Berichte des Instituts für angewandte Informatik und Formale Beschreibungsverfahren, Nr. 341.
Universität Karlsruhe,
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography