• 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 15 matches

• 2003
• 
  Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
  On the relations between BCMP queueing networks and product form solution stochastic petri nets. PNPM 2003: 103-112
• 
  Falko Bause:
  On non-ergodic infinite-state stochastic Petri nets. PNPM 2003: 84-92
• 
  Simona Bernardi, Susanna Donatelli:
  Building Petri net scenarios for dependable automation systems. PNPM 2003: 72-81
• 
  Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt:
  Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. PNPM 2003: 62-71
• 
  Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
  A discrete time model for performance evaluation and correctness verification of real time systems. PNPM 2003: 134-143
• 
  Clément Delamare, Yvon Gardan, Patrice Moreaux:
  Performance evaluation with asynchronously decomposable SWN: implementation and case study. PNPM 2003: 20-29
• 
  Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
  SWN client-server composition operators in the OsMoSys framework. PNPM 2003: 52-61
• 
  Reinhard German, Marco Gribaudo, Gábor Horváth, Miklós Telek:
  Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. PNPM 2003: 30-39
• 
  Stefan Haar:
  Distributed semi-Markov processes in stochastic T-timed Petri nets. PNPM 2003: 114-123
• 
  Armin Heindl, Ernst W. Biersack:
  Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case study. PNPM 2003: 40-49
• 
  Didier Lime, Olivier H. Roux:
  State class timed automaton of a time Petri net. PNPM 2003: 124-133
• 
  Andrew S. Miner:
  Computing response time distributions using stochastic Petri nets and matrix diagrams. PNPM 2003: 10-19
• 
  Matteo Sereno:
  Computational algorithms for product-form of competing Markov chains. PNPM 2003: 93-102
• 
  Kent Vander Velden, Jean Peccoud:
  Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications. PNPM 2003: 2-8
• 
  Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003. IEEE Computer Society 2003, ISBN 0-7695-1976-8 [contents]