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

• 2008
• 
  Gustavo Alonso:
  Challenges and Opportunities for Formal Specifications in Service Oriented Architectures. Petri Nets 2008: 1-6
• 
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
  Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398
• 
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
  Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32
• 
  Eike Best, Philippe Darondeau:
  Decomposition Theorems for Bounded Persistent Petri Nets. Petri Nets 2008: 33-51
• 
  Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
  Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71
• 
  Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau:
  Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91
• 
  Lawrence Cabac, Till Dörges, Heiko Rölke:
  A Monitoring Toolset for Paose. Petri Nets 2008: 399-408
• 
  Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
  A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
• 
  Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev:
  Synthesis of Nets with Step Firing Policies. Petri Nets 2008: 112-131
• 
  Lay G. Ding, Lin Liu:
  Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. Petri Nets 2008: 132-151
• 
  Andrzej Ehrenfeucht, Grzegorz Rozenberg:
  Modeling Interactions between Biochemical Reactions. Petri Nets 2008: 7
• 
  Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen:
  Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Petri Nets 2008: 152-170
• 
  Paul Fleischer, Lars Michael Kristensen:
  Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Petri Nets 2008: 171-190
• 
  Guy Edward Gallasch, Jonathan Billington:
  Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets 2008: 191-210
• 
  Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
  Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230
• 
  Kunihiko Hiraishi:
  Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Petri Nets 2008: 231-250
• 
  Ryszard Janicki, Dai Tri Man Le:
  Modelling Concurrency with Quotient Monoids. Petri Nets 2008: 251-269
• 
  Matthias Jantzen, Georg Zetzsche:
  Labeled Step Sequences in Petri Nets. Petri Nets 2008: 270-287
• 
  Jifeng He:
  Transaction Calculus. Petri Nets 2008: 8
• 
  Kais Klai, Denis Poitrenaud:
  MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets 2008: 288-306
• 
  Huimin Lin:
  Stratifying Winning Positions in Parity Games. Petri Nets 2008: 9-11
• 
  João Lourenço, Luís Gomes:
  Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets 2008: 409-418
• 
  Morgan Magnin, Didier Lime, Olivier H. Roux:
  Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326
• 
  Roland Meyer, Victor Khomenko, Tim Strazny:
  A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets 2008: 327-347
• 
  Hendrik Oberheid, Dirk Söffker:
  Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. Petri Nets 2008: 348-367
• 
  Carl Adam Petri:
  On the Physical Basics of Information Flow. Petri Nets 2008: 12
• 
  Fausto Sessego, Alessandro Giua, Carla Seatzu:
  HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. Petri Nets 2008: 419-428
• 
  Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik:
  Process Discovery Using Integer Linear Programming. Petri Nets 2008: 368-387
• 
  Kees M. van Hee, Rüdiger Valk:
  Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings. Lecture Notes in Computer Science 5062, Springer 2008, ISBN 978-3-540-68745-0 [contents]