F
Falko Bause
Researcher at Technical University of Dortmund
Publications - 55
Citations - 1213
Falko Bause is an academic researcher from Technical University of Dortmund. The author has contributed to research in topics: Petri net & Stochastic Petri net. The author has an hindex of 17, co-authored 55 publications receiving 1196 citations.
Papers
More filters
Book
Stochastic Petri Nets: An Introduction to the Theory
Falko Bause,Pieter S. Kritzinger +1 more
TL;DR: In this paper, a Petri net specifi cation is used to test for deadlock, liveness and boundedness of a discrete event system specified in Specification and Description Language (SDL).
Proceedings ArticleDOI
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems
TL;DR: It is shown that efficient analysis techniques from PetriNet theory can be exploited for analysis of QPNs, thus supporting the general objective of combining Petri net and queueing network formalisms.
Book ChapterDOI
A Toolbox for Functional and Quantitative Analysis of DEDS
TL;DR: This work presents a toolbox for the combined functional and quantitative analysis of discrete event dynamic systems (DEDS) on the basis of a common model interchange format, the Abstract Petri Net Notation (APNN).[5]).
Book ChapterDOI
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets
TL;DR: A new version of the QPN-Tool now supporting specification and analysis of hierarchically combined Queueing Petri nets (HQPNs), an extension of QPNs allowing the refinement of places by QPN subnets and/or queues, is described.
Book ChapterDOI
The ProC/B Toolset for the Modelling and Analysis of Process Chains
TL;DR: The toolset includes a graphical user interface accommodating a "Process Chains" view that supports model analysis by a variety of methods including simulative, algebraic and numerical techniques.