For the most recent entries see the Petri Nets Newsletter.

A Formal Model of the CCR Algorithm.

Baumgarten, B.; Ochsenschläger, P.; Prinoth, R.

Gesellschaft für Math. und Datenverarbeitung, Sankt Augustin, Arbeitspapiere der GMD Nr. 186, 1985.


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

Back to the Petri Nets Bibliography