Semilinearity of the reachability set is decidable for petri nets.

Saved in:
Hausschildt, D.
Hamburg : Universitaet Hamburg, 1990.
154 S.
englisch
Bericht / Fachbereich Informatik Universität Hamburg ; vol 0146.

ZB
Open Stacks Call Number: S 002347-0146'01' Barcode: 1090104579 Available