\begin{thebibliography}{10}
\providecommand{\url}[1]{#1}
\csname url@rmstyle\endcsname
\providecommand{\newblock}{\relax}
\providecommand{\bibinfo}[2]{#2}
\providecommand\BIBentrySTDinterwordspacing{\spaceskip=0pt\relax}
\providecommand\BIBentryALTinterwordstretchfactor{4}
\providecommand\BIBentryALTinterwordspacing{\spaceskip=\fontdimen2\font plus
\BIBentryALTinterwordstretchfactor\fontdimen3\font minus
  \fontdimen4\font\relax}
\providecommand\BIBforeignlanguage[2]{{%
\expandafter\ifx\csname l@#1\endcsname\relax
\typeout{** WARNING: IEEEtran.bst: No hyphenation pattern has been}%
\typeout{** loaded for the language `#1'. Using the pattern for}%
\typeout{** the default language instead.}%
\else
\language=\csname l@#1\endcsname
\fi
#2}}

\bibitem{Schmidt:01o}
R.~E. Schantz and D.~C. Schmidt, ``{Middleware for Distributed Systems:
  Evolving the Common Structure for Network-centric Applications},'' in
  \emph{Encyclopedia of Software Engineering}, J.~Marciniak and G.~Telecki,
  Eds.\hskip 1em plus 0.5em minus 0.4em\relax New York: Wiley \& Sons, 2002.

\bibitem{Vlissides:94}
E.~Gamma, R.~Helm, R.~Johnson, and J.~Vlissides, \emph{{Design Patterns:
  Elements of Reusable Object-Oriented Software}}.\hskip 1em plus 0.5em minus
  0.4em\relax Reading, MA: Addison-Wesley, 1995.

\bibitem{Schmidt:00a}
D.~C. Schmidt, M.~Stal, H.~Rohnert, and F.~Buschmann, \emph{{Pattern-Oriented
  Software Architecture: Patterns for Concurrent and Networked Objects, Volume
  2}}.\hskip 1em plus 0.5em minus 0.4em\relax New York: Wiley \& Sons, 2000.

\bibitem{evol-spn}
A.~Puliafito, M.~Telek, and K.~S. Trivedi, ``{The} evolution of stochastic
  {Petri} nets,'' in \emph{Proc. of World Congress on Systems Simulation},
  Singapore, September 1997, pp. 3--15.

\bibitem{mrspn}
H.~Choi, V.~Kulkarni, and K.~S. Trivedi, ``{Markov} {Regenerative} {Stochastic}
  {Petri} {Net},'' \emph{Performance Evaluation}, vol.~20, no. 1--3, pp.
  337--357, 1994.

\bibitem{fspn-1}
G.~Horton, V.~Kulkarni, D.~Nicol, and K.~S. Trivedi, ``{Fluid} stochastic
  {Petri} nets: {Theory}, application and solution techniques,'' \emph{Journal
  of Operations Research}, vol. 405, 1998.

\bibitem{NS-2}
{The VINT Project}, ``{Network Simulator - NS-2},''
  \url{http://www.isi.edu/nsnam/ns}, {1996}.

\bibitem{Knight:04}
P.~Knight, H.~Ould-Brahim, and B.~Gleeson, ``{Network based VPN Architecture
  using Virtual Routers},'' \emph{IETF Network Working Group Internet Draft,
  draft-ietf-l3vpn-vpn-vr-02.txt}, pp. 1--21, Apr. 2004.

\bibitem{peterson81}
J.~L. Peterson, \emph{Petri Net Theory and the Modeling of Systems}.\hskip 1em
  plus 0.5em minus 0.4em\relax Prentice-Hall, 1981.

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

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

\bibitem{poll-perf}
O.~Ibe and K.~S. Trivedi, ``{Stochastic} {Petri} net models of polling
  systems,'' \emph{IEEE Journal on Selected Areas in Communications}, vol.~8,
  no.~9, pp. 1649--1657, December 1990.

\bibitem{man-perf}
H.~Sun, X.~Zang, and K.~S. Trivedi, ``{A} stochastic reward net model for
  performance analysis of prioritized {DQDB} {MAN},'' \emph{Computer
  Communications, Elsevier Science}, vol.~22, no.~9, pp. 858--870, June 1999.

\bibitem{queue-perf}
O.~Ibe and K.~S. Trivedi, ``{Stochastic} {Petri} net analysis of
  finite--population queueing systems,'' \emph{Queueing Systems: Theory and
  Applications}, vol.~8, no.~2, pp. 111--128, 1991.

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

\bibitem{melamed84}
B.~Melamed and M.~Yadin, ``{Randomization} procedures in the computation of
  cumulative-timed distributions over discrete-state markov process,''
  \emph{Operations Research}, vol.~32, no.~4, pp. 926--944, July-August 1984.

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

\bibitem{Nagarajan:04}
A.~Nagarajan, ``{Generic Requirements for Provider Provisioned Virtual Private
  Network (PPVPN)},'' in \emph{IETF Network Working Group Request for Comments,
  RFC 3809}, A.~Nagarajan, Ed.\hskip 1em plus 0.5em minus 0.4em\relax IETF,
  June 2004, pp. 1--25.

\end{thebibliography}
