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

• 2009
• 
  Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf:
  Compositional Service Trees. Petri Nets 2009: 283-302
• 
  Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
  Orthomodular Lattices in Occurrence Nets. Petri Nets 2009: 163-182
• 
  Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
  Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282
• 
  Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan:
  P-Semiflow Computation with Decision Diagrams. Petri Nets 2009: 143-162
• 
  Isabel Demongodin:
  Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. Petri Nets 2009: 204-222
• 
  Dirk Fahland:
  Oclets - Scenario-Based Modeling with Petri Nets. Petri Nets 2009: 223-242
• 
  Jean Fanchon, Rémi Morin:
  Pomset Languages of Finite Step Transition Systems. Petri Nets 2009: 83-102
• 
  Monika Heiner, Martin Schwarick, Alexej Tovchigrechko:
  DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
• 
  Gabriel Juhás, Robert Lorenz, Jörg Desel:
  Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21
• 
  Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi:
  PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. Petri Nets 2009: 343-352
• 
  Ekkart Kindler, Laure Petrucci:
  Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets 2009: 43-62
• 
  Michael Köhler-Bußmeier:
  Hornets: Nets within Nets Combined with Net Algebra. Petri Nets 2009: 243-262
• 
  Jean Mairesse, Hoang-Thach Nguyen:
  Deficiency Zero Petri Nets and Product Form. Petri Nets 2009: 103-122
• 
  Mateus de Oliveira Oliveira:
  Hasse Diagram Generators and Petri Nets. Petri Nets 2009: 183-203
• 
  Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev:
  Workcraft - A Framework for Interpreted Graph Models. Petri Nets 2009: 333-342
• 
  Wolfgang Reisig:
  Simple Composition of Nets. Petri Nets 2009: 23-42
• 
  Grzegorz Rozenberg:
  Reaction Systems: A Formal Framework for Processes. Petri Nets 2009: 22
• 
  Joseph Sifakis:
  Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Petri Nets 2009: 1
• 
  Antti Valmari:
  Bisimilarity Minimization in O(m logn) Time. Petri Nets 2009: 123-142
• 
  Fernando Rosa-Velardo, David de Frutos-Escrig:
  Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Petri Nets 2009: 63-82
• 
  Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
  ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312
• 
  Michael Westergaard, Lars Michael Kristensen:
  The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322
• 
  Giuliana Franceschinis, Karsten Wolf:
  Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture Notes in Computer Science 5606, Springer 2009, ISBN 978-3-642-02423-8 [contents]