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: |
Bericht / Fachbereich Informatik Universität Hamburg ;
vol 0146. |
| Subject (ZB): | |
| Classification: |
| ZB | |
|---|---|
Open Stacks  Call Number: S 002347-0146'01' Barcode: 1090104579
Available
|
|