Termination and Finiteness Properties of Transition Systems.

For the most recent entries see the Petri Nets Newsletter.

Lawrence, Kansas: University of Kansas, Department of Computer Science, Technical Report 74--4, September 1974.

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