• 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

• 2001
• 
  Wil M. P. van der Aalst, Twan Basten:
  Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001: 32-52
• 
  Parosh Aziz Abdulla, Aletta Nylén:
  Timed Petri Nets and BQOs. ICATPN 2001: 53-70
• 
  Olga Marroquín Alonso, David de Frutos-Escrig:
  Extending the Petri Box Calculus with Time. ICATPN 2001: 303-322
• 
  Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen:
  CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN 2001: 71-80
• 
  Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky:
  Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems. ICATPN 2001: 81-100
• 
  Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
  Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120
• 
  Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
  Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143
• 
  Peter Deussen:
  Partial Order Verification of Programmable Logic Controllers. ICATPN 2001: 144-163
• 
  Susanna Donatelli:
  Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN 2001: 1-18
• 
  Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez:
  Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183
• 
  Marian V. Iordache, Panos J. Antsaklis:
  Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. ICATPN 2001: 184-203
• 
  Hanna Klaudel, Franck Pommereau:
  A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN 2001: 204-223
• 
  Michael Köhler, Daniel Moldt, Heiko Rölke:
  Modelling the Structure and Behaviour of Petri Net Agents. ICATPN 2001: 224-241
• 
  Timo Latvala:
  Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. ICATPN 2001: 242-262
• 
  Glenn Lewis, Charles Lakos:
  Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001: 263-282
• 
  Marko Mäkelä:
  Optimising Enabling Tests and Unfoldings of Algebraic System Nets. ICATPN 2001: 283-302
• 
  Robin Milner:
  The Flux of Interaction. ICATPN 2001: 19-22
• 
  Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
  Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31
• 
  Wojciech Penczek, Agata Pólrola:
  Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. ICATPN 2001: 323-342
• 
  Carsten Rust, Jürgen Tacken, Carsten Böke:
  Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. ICATPN 2001: 343-362
• 
  L. J. Steggles:
  Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. ICATPN 2001: 363-381
• 
  Walter Vogler:
  Partial S-Invariants for the Verification of Infinite Systems Families. ICATPN 2001: 382-402
• 
  José Manuel Colom, Maciej Koutny:
  Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075, Springer 2001, ISBN 3-540-42252-8 [contents]