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 ![]() ![]() |