DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Author: | Monika HeinerORCiD, Martin Schwarick, Alexey A. Tovchigrechko |
---|---|
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2009 |
Tag: | Petri Nets |
Quelle aus UBICO: | Applications and Theory of Petri Nets / 30th International Conference, PETRI NETS 2009, Paris, France, S. 323 - 332, 978-3-642-02423-8 (LNCS ; 5606) |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |