Login
- Title:
Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities
- Document type:
- Konferenzbeitrag
- Contribution type:
- Textbeitrag / Aufsatz
- Author(s):
- Mayr, Ernst W.; Weihmann, Jeremias
- Pages contribution:
- 209-221
- Editor:
- Abdulla, Parosh Aziz; Potapov, Igor
- Book / Congress title:
- Reachalbility Problems
- Congress (additional information):
- 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013
- Publisher:
- Springer-Verlag
- Publisher address:
- Berlin-Heidelberg
- Year:
- 2013
- Print-ISBN:
- 978-3-642-41035-2
- E-ISBN:
- 978-3-642-41036-9
- Bookseries title:
- Lecture Notes in Computer Science (LNCS)
- Bookseries volume:
- 8169
- Reviewed:
- ja
- Language:
- en
- Publication format:
- Semester:
- SS 13
- TUM Institution:
- Informatik XIV - Lehrstuhl für Effiziente Algorithmen
- Format:
- Text
- Ingested:
- 28.10.2013
BibTeX