Semi-Markov Library Manual

• Introduction
  • Organization of library
  • Larger Context
  • Acknowledgements
  • Availability and distribution
• Requirements and Installation
  • Requirements
  • Installation
• Background
  • The Hazard from Survival Analysis
  • Finite State Machines Generate Trajectories
  • Markov Chain for Discrete-Time Trajectories
  • Markov Process for Continuous-Time Trajectories
  • Generalized Stochastic Petri Net for Bookkeeping
• Tutorial
  • Using ExplicitTransitions to Construct a GSPN
  • Simulating the Trajectory of a Semi-Markov GSPN
  • Observations of the State
• Examples
  • Weiss Two-state Brownion
  • Susceptible-Infected-Recovered
  • Bovine Viral-Diarrhea Virus on a Dairy Farm
• References