Semilinearity of the reachability set is decidable for petri nets.
Saved in:
Personal Name(s): | Hausschildt, D. |
---|---|
Imprint: |
Hamburg :
Universitaet Hamburg,
1990.
|
Physical Description: |
154 S. |
Note: |
englisch |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Bericht / Fachbereich Informatik Universität Hamburg ;
vol 0146. |
Subject (ZB): | |
Classification: |
ZB | |
---|---|
Open Stacks Call number: S 002347-0146'01' Barcode: 1090104579 Available |