Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Toward a Definition of Modeling Power for Stochastic Petri Net Models.. PNPM, page 54-62. IEEE Computer Society, (1987)Workload-Aware Load Balancing for Clustered Web Servers., , , , and . IEEE Trans. Parallel Distributed Syst., 16 (3): 219-233 (2005)Decision-diagram-based techniques for bounded reachability checking of asynchronous systems., , and . Int. J. Softw. Tools Technol. Transf., 11 (2): 117-131 (2009)Variable order metrics for decision diagrams in system verification., , and . Int. J. Softw. Tools Technol. Transf., 22 (5): 541-562 (2020)Stochastic Petri Net Analysis of a Replicated File System., and . IEEE Trans. Software Eng., 15 (4): 394-401 (1989)On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems., and . Carl Adam Petri: Ideas, Personality, Impact, Springer, (2019)A Decomposition Approach for Stochastic Reward Net Models., and . Perform. Evaluation, 18 (1): 37-59 (1993)On the Solution of GSPN Reward Models., , and . Perform. Evaluation, 12 (4): 237-253 (1991)ETAQA-MG1: an efficient technique for the analysis of a class of M/G/1-type processes by aggregation., , , and . Perform. Evaluation, 57 (3): 235-260 (2004)Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.. Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 179-198. Springer, (1994)