\begin{thebibliography}{18}
\expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
\expandafter\ifx\csname url\endcsname\relax
  \def\url#1{\texttt{#1}}\fi
\expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi

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

\bibitem[{Gamma et~al.(1995)Gamma, Helm, Johnson, and Vlissides}]{Vlissides:94}
Gamma, E., Helm, R., Johnson, R., Vlissides, J., 1995. {Design Patterns:
  Elements of Reusable Object-Oriented Software}. Addison-Wesley, Reading, MA.

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

\bibitem[{Horton et~al.(1998)Horton, Kulkarni, Nicol, and Trivedi}]{fspn-1}
Horton, G., Kulkarni, V., Nicol, D., Trivedi, K.~S., 1998. {Fluid} stochastic
  {Petri} nets: {Theory}, application and solution techniques. Journal of
  Operations Research 405.

\bibitem[{Ibe et~al.(1989)Ibe, Sathaye, Howe, and Trivedi}]{avail-vax}
Ibe, O., Sathaye, A., Howe, R., Trivedi, K.~S., 1989. {Stochastic} {Petri} net
  modeling of {VAXCluster} availability. In: Proc. of Third International
  Workshop on Petri Nets and Performance Models. Kyoto, Japan, pp. 142--151.

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

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

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

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

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

\bibitem[{Nagarajan(2004)}]{Nagarajan:04}
Nagarajan, A., Jun. 2004. {Generic Requirements for Provider Provisioned
  Virtual Private Network (PPVPN)}. In: Nagarajan, A. (Ed.), IETF Network
  Working Group Request for Comments, RFC 3809. IETF, pp. 1--25.

\bibitem[{Peterson(1981)}]{peterson81}
Peterson, J.~L., 1981. Petri Net Theory and the Modeling of Systems.
  Prentice-Hall.

\bibitem[{Puliafito et~al.(1997)Puliafito, Telek, and Trivedi}]{evol-spn}
Puliafito, A., Telek, M., Trivedi, K.~S., September 1997. {The} evolution of
  stochastic {Petri} nets. In: Proc. of World Congress on Systems Simulation.
  Singapore, pp. 3--15.

\bibitem[{Ramani et~al.(2000)Ramani, Trivedi, and Dasarathy}]{corba-perf}
Ramani, S., Trivedi, K.~S., Dasarathy, B., October 2000. {Performance} analysis
  of the {CORBA} event service using stochastic reward nets. In: Proc. of the
  19th IEEE Symposium on Reliable Distributed Systems. pp. 238--247.

\bibitem[{Schantz and Schmidt(2002)}]{Schmidt:01o}
Schantz, R.~E., Schmidt, D.~C., 2002. {Middleware for Distributed Systems:
  Evolving the Common Structure for Network-centric Applications}. In:
  Marciniak, J., Telecki, G. (Eds.), Encyclopedia of Software Engineering.
  Wiley \& Sons, New York.

\bibitem[{Schmidt et~al.(2000)Schmidt, Stal, Rohnert, and
  Buschmann}]{Schmidt:00a}
Schmidt, D.~C., Stal, M., Rohnert, H., Buschmann, F., 2000. {Pattern-Oriented
  Software Architecture: Patterns for Concurrent and Networked Objects, Volume
  2}. Wiley \& Sons, New York.

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

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

\end{thebibliography}
