Searching for authors named "Falko Bause" – sorted by Relevance.
-
No Way Out - The Timeless Trap
- No Way Out 1 The Timeless Trap Falko Bause Informatik IV, Universitat Dortmund 44221 Dortmund e
- Add To MetaCart
-
Queueing Petri Nets - A Formalism for the Combined Qualitative and Quantitative Analysis of Systems
- Falko Bause Informatik IV, Universitat Dortmund, 44221 Dortmund, Germany Abstract System analysis
- Cited by 22 (8 self) – Add To MetaCart
-
"QN + PN = QPN" - Combining Queueing Networks and Petri Nets
- "QN + PN = QPN " Combining Queueing Networks and Petri Nets Falko Bause Informatik IV, Universitat
- Cited by 2 (0 self) – Add To MetaCart
-
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
- Kemper and Falko Bause Informatik IV Universitat Dortmund Postfach 500 500 4600 Dortmund 50 Germany
- Cited by 13 (8 self) – Add To MetaCart
-
Protocol Analysis using a timed version of SDL
- Protocol Analysis using a timed version of SDL Falko Bause, Peter Buchholz Informatik IV, Universt
- Cited by 18 (3 self) – Add To MetaCart
-
Qualitative and Quantitative Analysis of Timed SDL Specifications
- Qualitative and Quantitative Analysis of Timed SDL Specifications Falko Bause, Peter Buchholz
- Cited by 9 (0 self) – Add To MetaCart
-
Analysis of Petri Nets with a Dynamic Priority Method
- Analysis of Petri Nets with a Dynamic Priority Method Falko Bause Informatik IV Universitat
- Cited by 1 (0 self) – Add To MetaCart
-
Analysis of a Combined Queueing-Petri-Network World
- Analysis of a Combined Queueing-Petri-Network World Falko Bause, Heinz Beilner Informatik IV
- Cited by 1 (1 self) – Add To MetaCart
-
Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets
- Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets Falko
- Cited by 3 (0 self) – Add To MetaCart
-
QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets
- QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets Falko
- Cited by 17 (4 self) – Add To MetaCart

