For the most recent entries see the
Petri Nets Newsletter.
Chao, Daniel Y.;
Wang, David T.:
An interactive tool for design, simulation, verification, and synthesis of protocols.
Couvillion, Joseph A.;
Obal, W. Douglas;
Qureshi, M. Akber;
Sanders, William H.;
Tvedt, Janet E.:
Performability Modeling with UltraSAN.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography