\begin{thebibliography}{10}

\bibitem{Nagarajan:04}
A.~Nagarajan (editor).
\newblock {Generic Requirements for Provider Provisioned Virtual Private
  Network (PPVPN)}.
\newblock {\em IETF Network Working Group Request for Comments, RFC 3809},
  pages 1--25, June 2004.

\bibitem{Vlissides:94}
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
\newblock {\em {Design Patterns: Elements of Reusable Object-Oriented
  Software}}.
\newblock Addison-Wesley, Reading, MA, 1995.

\bibitem{garlan93}
D.~Garlan and M.~Shaw.
\newblock {\em Advances in Software Engineering and Knowledge Engineering,
  Volume 1, edited by V. Ambriola and G. Torotora}, chapter An Introduction to
  Software Architecture.
\newblock World Scientific Publishing Company, New Jersey, 1993.

\bibitem{spnp-new}
C.~Hirel, B.~Tuffin, and K.~S. Trivedi.
\newblock {SPNP}: {Stochastic} {Petri} {Nets}. {Version} 6.0.
\newblock {\em Lecture Notes in Computer Science 1786}, 2000.

\bibitem{avail-vax}
O.~Ibe, A.~Sathaye, R.~Howe, and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net modeling of {VAXCluster} availability.
\newblock In {\em Proc. of Third International Workshop on Petri Nets and
  Performance Models}, pages 142--151, Kyoto, Japan, 1989.

\bibitem{poll-perf}
O.~Ibe and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net models of polling systems.
\newblock {\em IEEE Journal on Selected Areas in Communications},
  8(9):1649--1657, December 1990.

\bibitem{queue-perf}
O.~Ibe and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net analysis of finite--population queueing
  systems.
\newblock {\em Queueing Systems: Theory and Applications}, 8(2):111--128, 1991.

\bibitem{Knight:04}
Paul Knight, Hamid Ould-Brahim, and Bryan Gleeson.
\newblock {Network based VPN Architecture using Virtual Routers}.
\newblock {\em IETF Network Working Group Internet Draft,
  draft-ietf-l3vpn-vpn-vr-02.txt}, pages 1--21, April 2004.

\bibitem{Liu:00}
Jane W.~S. Liu.
\newblock {\em Real-Time Systems}.
\newblock Prentice Hall, New Jersey, 2000.

\bibitem{melamed84}
B.~Melamed and M.~Yadin.
\newblock {Randomization} procedures in the computation of cumulative-timed
  distributions over discrete-state markov process.
\newblock {\em Operations Research}, 32(4):926--944, July-August 1984.

\bibitem{rel-srn}
J.~Muppala, G.~Ciardo, and K.~S. Trivedi.
\newblock {Stochastic} {reward} nets for reliability prediction.
\newblock {\em Communications in Reliability, Maintainability and
  Serviceability: An International Journal Published by SAE Internationa},
  1(2):9--20, July 1994.

\bibitem{peterson81}
J.~L. Peterson.
\newblock {\em Petri Net Theory and the Modeling of Systems}.
\newblock Prentice-Hall, 1981.

\bibitem{evol-spn}
A.~Puliafito, M.~Telek, and K.~S. Trivedi.
\newblock {The} evolution of stochastic {Petri} nets.
\newblock In {\em Proc. of World Congress on Systems Simulation}, pages 3--15,
  Singapore, September 1997.

\bibitem{corba-perf}
S.~Ramani, K.~S. Trivedi, and B.~Dasarathy.
\newblock {Performance} analysis of the {CORBA} event service using stochastic
  reward nets.
\newblock In {\em Proc. of the 19th IEEE Symposium on Reliable Distributed
  Systems}, pages 238--247, October 2000.

\bibitem{Schmidt:00a}
Douglas~C. Schmidt, Michael Stal, Hans Rohnert, and Frank Buschmann.
\newblock {\em {Pattern-Oriented Software Architecture: Patterns for Concurrent
  and Networked Objects, Volume 2}}.
\newblock Wiley \& Sons, New York, 2000.

\bibitem{smith90}
C.U. Smith.
\newblock {\em Performance Engineering of Software Systems}.
\newblock Addison Wesley, 1990.

\bibitem{man-perf}
H.~Sun, X.~Zang, and K.~S. Trivedi.
\newblock {A} stochastic reward net model for performance analysis of
  prioritized {DQDB} {MAN}.
\newblock {\em Computer Communications, Elsevier Science}, 22(9):858--870, June
  1999.

\bibitem{bbook-new}
K.~S. Trivedi.
\newblock {\em Probability and Statistics with Reliability, Queuing and
  Computer Science Applications}.
\newblock John Wiley, 2001.

\end{thebibliography}
