\begin{thebibliography}{10}\setlength{\itemsep}{-1ex}\small

\bibitem{mrspn}
H.~Choi, V.~Kulkarni, and K.~S. Trivedi.
\newblock {Markov} {Regenerative} {Stochastic} {Petri} {Net}.
\newblock {\em Performance Evaluation}, 20(1--3):337--357, 1994.

\bibitem{Vlissides:94}
E.~Gamma, R.~Helm, R.~Johnson, and J.~Vlissides.
\newblock {\em {Design Patterns: Elements of Reusable Object-Oriented
  Software}}.
\newblock Addison-Wesley, Reading, MA, 1995.

\bibitem{Gokhale_Globecom05}
S.~Gokhale, A.~S. Gokhale, and J.~Gray.
\newblock Response time analysis of middleware event demultiplexing pattern for
  network services.
\newblock In {\em Proc. of IEEE Globecom, Advances for Networks and Internet
  Track}, St. Louis, MO, December 2005.

\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{fspn-1}
G.~Horton, V.~Kulkarni, D.~Nicol, and K.~S. Trivedi.
\newblock {Fluid} stochastic {Petri} nets: {Theory}, application and solution
  techniques.
\newblock {\em Journal of Operations Research}, 405, 1998.

\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}
P.~Knight, H.~Ould-Brahim, and B.~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, Apr. 2004.

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

\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}
D.~C. Schmidt, M.~Stal, H.~Rohnert, and F.~Buschmann.
\newblock {\em {Pattern-Oriented Software Architecture: Patterns for Concurrent
  and Networked Objects, Volume 2}}.
\newblock Wiley \& Sons, New York, 2000.

\bibitem{csim}
H.~Schwetman.
\newblock ``{CSIM} reference manual (revision 16)''.
\newblock Technical Report ACA-ST-252-87, Microelectronics and Computer
  Technology Corp., Austin, TX.

\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{NS-2}
{The VINT Project}.
\newblock {Network Simulator - NS-2}.
\newblock \url{http://www.isi.edu/nsnam/ns}, {1996}.

\end{thebibliography}
