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

• 2009
• 
  Wil M. P. van der Aalst:
  Process-Aware Information Systems: Lessons to Be Learned from Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 1-26 (2009)
• 
  Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
  Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2: 243-259 (2009)
• 
  Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
  Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009)
• 
  Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Lijie Wen:
  Process Mining: Overview and Outlook of Petri Net Discovery Algorithms. Trans. Petri Nets Other Model. Concurr. 2: 225-242 (2009)
• 
  Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova:
  A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009)
• 
  Ekkart Kindler:
  Model-Based Software Engineering and Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2: 27-45 (2009)
• 
  Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
  A Formal Model for Organisational Structures behind Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2: 98-114 (2009)
• 
  Niels Lohmann, Eric Verbeek, Remco M. Dijkman:
  Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets Other Model. Concurr. 2: 46-63 (2009)
• 
  Jan Mendling:
  Empirical Studies in Process Model Verification. Trans. Petri Nets Other Model. Concurr. 2: 208-224 (2009)
• 
  Ralph Mietzner, Dimka Karastoyanova, Frank Leymann:
  Business Grid: Combining Web Services and the Grid. Trans. Petri Nets Other Model. Concurr. 2: 136-151 (2009)
• 
  Frank Puhlmann, Mathias Weske:
  A Look Around the Corner: The Pi-Calculus. Trans. Petri Nets Other Model. Concurr. 2: 64-78 (2009)
• 
  Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam:
  Flexibility in Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2: 115-135 (2009)
• 
  Nick Russell, Arthur H. M. ter Hofstede:
  newYAWL: Towards Workflow 2.0. Trans. Petri Nets Other Model. Concurr. 2: 79-97 (2009)
• 
  Christian Stahl, Peter Massuthe, Jan Bretschneider:
  Deciding Substitutability of Services with Operating Guidelines. Trans. Petri Nets Other Model. Concurr. 2: 172-191 (2009)
• 
  Hong Linh Truong, Schahram Dustdar:
  Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments. Trans. Petri Nets Other Model. Concurr. 2: 260-277 (2009)
• 
  Karsten Wolf:
  Does My Service Have Partners?. Trans. Petri Nets Other Model. Concurr. 2: 152-171 (2009)
• 
  Kurt Jensen, Wil M. P. van der Aalst:
  Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems. Lecture Notes in Computer Science 5460, Springer 2009, ISBN 978-3-642-00898-6 [contents]