• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 1997
• 
  Susann C. Allmaier, Markus Kowarschik, Graham Horton:
  State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor. PNPM 1997: 112-121
• 
  Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti:
  Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM 1997: 163-172
• 
  Falko Bause, Peter Buchholz:
  Aggregation and disaggregation in product form queueing Petri Nets. PNPM 1997: 16-25
• 
  Andrea Bobbio, Antonio Puliafito, Miklós Telek:
  New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets. PNPM 1997: 70-79
• 
  Peter Buchholz:
  Hierarchical structuring of superposed GSPNs. PNPM 1997: 81-90
• 
  Javier Campos, Manuel Silva Suárez, Susanna Donatelli:
  Structured solution of stochastic DSSP systems. PNPM 1997: 91-100
• 
  Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi:
  Discrete-event simulation of fluid stochastic Petri nets. PNPM 1997: 217-225
• 
  René David:
  Modeling of hybrid systems using continuous and hybrid Petri nets. PNPM 1997: 47-58
• 
  Daniel D. Deavours, William H. Sanders:
  "On-the-fly" solution techniques for stochastic Petri nets and extensions. PNPM 1997: 132-141
• 
  Alois Ferscha, Michael Richter:
  Time Warp simulation of timed Petri nets: sensitivity of adaptive methods. PNPM 1997: 205-216
• 
  R. Govindarajan, F. Suciu, Wlodek M. Zuberek:
  Timed Petri net models of multithreaded multiprocessor architectures. PNPM 1997: 153-162
• 
  Marco Gribaudo, Matteo Sereno:
  GSPN semantics for queueing networks with blocking. PNPM 1997: 26-35
• 
  Peter J. Haas:
  Estimation methods for stochastic Petri nets based on standardized time series. PNPM 1997: 194-204
• 
  Boudewijn R. Haverkort, Alexander Ost:
  Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. PNPM 1997: 36-45
• 
  Armin Heindl, Reinhard German:
  A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs. PNPM 1997: 60-69
• 
  Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach:
  Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. PNPM 1997: 183-192
• 
  Peter Kemper:
  Transient analysis of superposed GSPNs. PNPM 1997: 101-110
• 
  Paolo Marenzoni, Stefano Caselli, Gianni Conte:
  Analysis of large GSPN models: a distributed solution tool. PNPM 1997: 122-131
• 
  Marco Ajmone Marsan, Khalid Begain, Rossano Gaeta, Miklós Telek:
  GSPN analysis of ABR in ATM LANs. PNPM 1997: 227-236
• 
  Marco Ajmone Marsan, Rossano Gaeta:
  GSPN models of ATM switches. PNPM 1997: 237-246
• 
  Vassilis Mertsiotakis, Manuel Silva Suárez:
  Throughput approximation of decision free processes using decomposition. PNPM 1997: 174-182
• 
  Sergio Palazzo, Antonio Puliafito, Marco Scarpa:
  Reliability analysis of a redundant database for UMTS systems. PNPM 1997: 247-256
• 
  Jean-Marie Proth:
  Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems. PNPM 1997: 2-14
• 
  N. Segent:
  Performance evaluation of a consensus algorithm with Petri nets. PNPM 1997: 143-152
• 
  Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997. IEEE Computer Society 1997, ISBN 0-8186-7931-X [contents]