bibliography.bib

% This file was created with JabRef 2.10.
% Encoding: Cp1252


@String { apn      = {Advances in Petri Nets } }
@String { atpn     = {Application and Theory of Petri Nets } }
@String { aut      = {Automatica} }
@String { ibmrd    = {IBM Journal of Research and Development} }
@String { ieeeac   = {IEEE Transactions on Automatic Control} }
@String { ieeec    = {IEEE Transactions on Computers} }
@String { ieeecsm  = {IEEE Control System Magazine} }
@String { ieeepds  = {IEEE Transactions on Parallel and Distributed Systems} }
@String { ieeera   = {IEEE Transactions on Robotics and Automation} }
@String { ieeese   = {IEEE Transactions on Software Engineering} }
@String { ieeesm   = {IEEE Transactions on Semiconductor Manufacturing} }
@String { ieeesmc  = {IEEE Transactions on System, Man, and Cybernetics} }
@String { jpe      = {Performance Evaluation} }
@String { lncs     = {Lecture Notes in Computer Science} }
@String { mar      = {March} }
@String { pieee    = {Proceedings of the IEEE} }
@String { Prentice = {Prentice-Hall Inc.} }
@String { prieee   = {Proceedings of the IEEE} }
@String { rts      = {Real-Time Systems} }
@String { Springer = {Springer Verlag} }
@String { tub      = {Tech\-ni\-sche Uni\-ver\-si\-t{\"a}t Ber\-lin} }

@InCollection{campos:perfbounds,
  Title                    = {Structural Techniques and Performance Bounds of Stochastic {P}etri Net models},
  Author                   = {J. Campos and M. Silva},
  Booktitle                = apn # {1992},
  Publisher                = Springer,
  Year                     = {1992},
  Editor                   = {G. Rozenberg},
  Pages                    = {352-391},
  Series                   = lncs,
  Volume                   = {609},

  Comment                  = {complexity reduction, performance bounds through structure,concepts from queueing networks, model restrictions},
  Status                   = {kopiert},
  Woher                    = {Zaragoza}
}

@Unpublished{canabal:rareeventproject,
  Title                    = {Rare Event Algorithms Analysis and Simulation},
  Author                   = {Andres Canabal},
  Year                     = {2014},

  File                     = {:C\:\\Users\\Win7\\Desktop\\Uni\\RareEvent Project\\Rare Event Algorithms Analysis and Simulation - Canabal.pdf:PDF},
  Timestamp                = {12.12.2014}
}

@Book{montecalro,
  Title                    = {Handbook of Monte Carlo Methods},
  Author                   = {Dirk P. Kroese,Thomas Taimre,Zdravko I. Botev},
  Publisher                = {John Wiley and Sons},
  Year                     = {2011},
  Owner                    = {Win7},
  Timestamp                = {2015.07.13}
}

@TechReport{goerg:rareevent,
  Title                    = {Rare Event Simulation},
  Author                   = {Carmelita G\"org and Eugen Lamers and Oliver Fu{\ss} and Poul Heegaard},
  Institution              = {Computer Systems and Telematics, Norwegian Institute of Technology},
  Year                     = {2001},
  Number                   = {COST 257},
  Ablage                   = {simulation},
  Comment                  = {guter überblick über viele rare event sim methoden},
  Status                   = {gelesen},
  Woher                    = {http://www.item.ntnu.no/~poulh/publications/res-cost.pdf}
}

@TechReport{german:reptimenet,
  Title                    = {{T}ime{NET} - A Toolkit for Evaluating Non-{M}arkovian Stochastic {P}etri Nets},
  Author                   = {Reinhard German and Christian Kellingand Armin Zimmermann and G\"unter Hommel},
  Institution              = tub,
  Year                     = {1994},
  Number                   = {19},
  Type                     = {Technischer Bericht des Fachbereichs Informatik},

  Comment                  = {auch in J. Perf. Eval. erschienen}
}

@Book{haas:spn,
  Title                    = {Stochastic {P}etri Nets: Modelling, Stability, Simulation},
  Author                   = {Haas, Peter J.},
  Publisher                = Springer,
  Year                     = {2002},
  Series                   = {Springer Series in Operations Research},
  Comment                  = {limit theorems and very theoretical measure etc about SPNs, simulation, CSPNs},
  Status                   = {gelesen},
  Woher                    = {Bibliothek HPI}
}

@InProceedings{Heegaard97speedupsimulation,
  Title                    = {Speedup Simulation Techniques},
  Author                   = {Poul E. Heegaard},
  Booktitle                = {Proc. Workshop on Rare Event Simulation},
  Year                     = {1997},

  Address                  = {Aachen, Germany},
  Pages                    = {28--29}
}

@Article{Hellfritsch2009,
  Title                    = {TimeNet-Examples of Extended Deterministic and Stochastic Petri Nets},
  Author                   = {Hellfritsch, Christoph},
  Year                     = {2009},

  __markedentry            = {[Win7:]},
  Owner                    = {Win7},
  Timestamp                = {2015.08.06}
}

@InProceedings{kelling:restart,
  Title                    = {Rare Event Simulation with {RESTART} in a {P}etri Net Modeling Environment},
  Author                   = {Christian Kelling},
  Booktitle                = {Proc.\ of the European Simulation Symposium},
  Year                     = {1995},

  Address                  = {Erlangen},
  Pages                    = {370-374},
  Woher                    = {entry: www}
}

@InBook{Reisig1998,
  Title                    = {Lectures on petri nets i: basic models},
  Author                   = {Reisig, Wolfgang and Rozenberg, Grzegorz},
  Chapter                  = {The state explosion problem},
  Pages                    = {429-528},
  Publisher                = {Springer Science \& Business Media},
  Year                     = {1998},
  Volume                   = {1491},
  Owner                    = {Win7},
  Timestamp                = {2015.08.06}
}

@InCollection{Valmari1998,
  Title                    = {The state explosion problem},
  Author                   = {Valmari, Antti},
  Booktitle                = {Lectures on Petri nets I: Basic models},
  Publisher                = {Springer},
  Year                     = {1998},
  Pages                    = {429--528},

  __markedentry            = {[Win7:6]},
  Owner                    = {Win7},
  Timestamp                = {2015.08.06}
}

@InProceedings{villen:straightforward,
  Title                    = {{RESTART}: A Straightforward Method for Fast Simulation of Rare Events},
  Author                   = {Manuel Vill\'{e}n-Altamirano and Jose Vill\'{e}n-Altamirano},
  Booktitle                = {Proc.\ Winter Simulation Conference},
  Year                     = {1994},
  Pages                    = {282-289},
  Comment                  = {rare event simulation, RESTART, fast simulation, repetitive simulation trials after reaching thresholds, computer time savings, rare event probabilities, multiple thresholds, simulation library, ASTRO tool, teletraffic, reliability problems},
  Status                   = {gesucht}
}

@Article{White2011,
  Title                    = {Initial Transient Period in Steady-State Systems},
  Author                   = {White, K Preston and Robinson, Stewart},
  Journal                  = {Wiley Encyclopedia of Operations Research and Management Science},
  Year                     = {2011},

  Owner                    = {Win7},
  Publisher                = {Wiley Online Library},
  Timestamp                = {2015.08.06}
}

@Book{zeigler:modsim,
  Title                    = {Theory of Modeling and Simulation},
  Author                   = {Zeigler, Bernhard P. and Herbert Praehofer and Kim, Tag Gon},
  Publisher                = {Academic Press},
  Year                     = {2000},

  Address                  = {London},
  Edition                  = {2nd},

  Comment                  = {DEVS und andere Formalismen, Simulations-Orientiert, auch nicht-diskret},
  Status                   = {gekauft}
}

@Book{Zimmermann2008,
  Title                    = {Stochastic Discrete Event Systems: Modeling, Evaluation, Applications},
  Author                   = {Zimmermann, Armin},
  Publisher                = {Springer},
  Year                     = {2008},
  Owner                    = {Win7},
  Timestamp                = {2015.08.06}
}

@TechReport{zimm:tmanual4,
  Title                    = {{T}ime{NET} 4.0 {U}ser {M}anual},
  Author                   = {Armin Zimmermann and Michael Knoke},
  Institution              = tub,
  Year                     = {2007},
  Number                   = {13},
  Type                     = {Technical Report},
  Comment                  = {Manual für Windows-Version},
  Organization             = tub
}

@InProceedings{zimm:towardstimenet4,
  Title                    = {Towards Version 4.0 of {T}ime{NET}},
  Author                   = {Zimmermann, A. and Knoke, M. and Huck, A. and Hommel, G.},
  Booktitle                = {13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006)},
  Year                     = {2006},
  Month                    = {March},
  Pages                    = {477-480},

  Location                 = {Nuremburg, Germany},
  Owner                    = {zimmermann},
  Timestamp                = {2011.03.27}
}

@InProceedings{zimm:importancefunction,
  Title                    = {Importance Function Derivation for {RESTART} Simulations of {P}etri Nets},
  Author                   = {Zimmermann, Armin and Maciel, Paulo},
  Booktitle                = {9th Int. Workshop on Rare Event Simulation (RESIM 2012)},
  Year                     = {2012},

  Address                  = {Trondheim, Norway},
  Month                    = jun,
  Pages                    = {8-15}
}

@Book{simulationmethodsreliability,
  Title                    = {Simulation methods for reliability and availability of complex systems},
  Editor                   = {Javier Faulin and Juan, Angel A. and Sebasti\'an Martorell and Ram\'irez-M\'arquez, Jos\'e-Emmanuel},
  Publisher                = {Springer},
  Year                     = {2010},
  Abstract                 = {Sammlung von Beitraegen
 http://www.springer.com/gp/book/9781848822122},
  Comment                  = {in der bibliothek mathe TUIlmenau},
  Language                 = {English},
  Pages                    = {xvii + 315}
}