Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets

1 Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets vorgelegt von Diplom-Ingenieur Jan Trowitzsch aus Berlin von der Fakult&au...
Author:  Brett Wilkinson

1 downloads 90 Views 3MB Size

Recommend Documents

1 International Journal of Materials & Structural Reliability Vol.4, No.1, March 2006, International Journal of Materials & Structural Reliabi...

1 Stochastic Petri nets 12 Stochastic Petri nets Markov Chain grows very fast with the dimension of the system Petri nets: High-level specification fo...

1 Electronic Notes in Theoretical Computer Science 44 No. 4 (2001) URL: 13 pages Improving UML with Petri nets Luciano Baresi Dipartimento di Elettr...

1 944 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL 28, NO 1, OCTOBER 22 Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs A Transient Analys...

1 From Stochastic Processes to Stochastic Petri Nets Serge Haddad LSV CNRS & ENS Cachan & INRIA Saclay Advanced Course on Petri Nets, the 16th...

1 Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1 Armin Zimmermann System and Software Engineering Group Ilmenau University of Techn...

1 The Quantitative Risk Assessment of domino eff ect on Industrial Plants Using Colored Stochastic Petri Nets Farid Kadri, Patrick Lallement, Eric Cha...

1 Execution of UML State Machines Using Modelica Wladimir Schamai 1, Uwe Pohlmann 2, Peter Fritzson 3, Christiaan J.J. Paredis 4, Philipp Helle 1, Car...

1 Volume 22 (2), pp ORiON ISSN X c 26 Modelling M/G/1 queueing systems with server vacations using stochastic Petri nets K Ramanath P Lakshmi Received...

1 Purdue University Purdue e-pubs Computer Science Technical Reports Department of Computer Science 1986 Stochastic High-Level Petri Nets and Applicat...