• search hit 59 of 144
Back to Result List

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.