direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

A Method to prove Non-reachability in Prioritized Duration Petrinets
Citation key WPR04
Author Matthias Werner and Louchka Popova-Zeugmann and Jan Richling
Pages 351–368
Year 2004
Journal Fundamentae Informatica, 61(2004)3,4
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe