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

• 2004
• 
  Adrianna Alexander:
  Composition of Temporal Logic Specifications. ICATPN 2004: 98-116
• 
  João Paulo Barros, Luís Gomes:
  On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136
• 
  Nadia Busi, Roberto Gorrieri:
  Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16
• 
  Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry:
  Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. ICATPN 2004: 137-156
• 
  Gianfranco Ciardo:
  Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ICATPN 2004: 17-34
• 
  Jörg Desel, Gabriel Juhás, Christian Neumair:
  Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176
• 
  Boudewijn F. van Dongen, Wil M. P. van der Aalst:
  EMiT: A Process Mining Tool. ICATPN 2004: 454-463
• 
  Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
  Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196
• 
  Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
  Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215
• 
  Monika Heiner, Ina Koch:
  Petri Net Based Model Validation in Systems Biology. ICATPN 2004: 216-237
• 
  Thomas A. Henzinger:
  Embedded Software: Better Models, Better Code. ICATPN 2004: 35-36
• 
  Gabriel Juhás, Robert Lorenz, Christian Neumair:
  Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257
• 
  Tommi A. Junttila:
  New Canonical Representative Marking Algorithms for Place/Transition-Nets. ICATPN 2004: 258-277
• 
  Ekkart Kindler, Csaba Páles:
  3D-Visualization of Petri Net Models: Concept and Realization. ICATPN 2004: 464-473
• 
  Michael Köhler, Heiko Rölke:
  Properties of Object Petri Nets. ICATPN 2004: 278-297
• 
  Lars Michael Kristensen, Laure Petrucci:
  An Approach to Distributed State Space Exploration for Coloured Petri Nets. ICATPN 2004: 474-483
• 
  Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk:
  An Extensible Editor and Simulation Engine for Petri Nets: Renew. ICATPN 2004: 484-493
• 
  Timo Latvala, Marko Mäkelä:
  LTL Model Checking for Modular Petri Nets. ICATPN 2004: 298-311
• 
  María José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García:
  A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. ICATPN 2004: 351-370
• 
  Alexander Norta:
  Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. ICATPN 2004: 494-503
• 
  Edward Ochmanski:
  Covering Fairness against Conspiracies. ICATPN 2004: 312-330
• 
  Leo Ojala, Olli-Matti Penttinen, Elina Parviainen:
  Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. ICATPN 2004: 331-350
• 
  Wojciech Penczek, Agata Pólrola:
  Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. ICATPN 2004: 37-76
• 
  Lucia Pomello, Luca Bernardinello:
  Formal Tools for Modular System Development. ICATPN 2004: 77-96
• 
  Olivier H. Roux, Didier Lime:
  Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390
• 
  William H. Sanders:
  Stochastic Methods for Dependability, Performability, and Security Evaluation. ICATPN 2004: 97
• 
  Eric Verbeek, Robert A. van der Toorn:
  Transit Case Study. ICATPN 2004: 391-410
• 
  Harro Wimmel:
  Eliminating Internal Behaviour in Petri Nets. ICATPN 2004: 411-425
• 
  Harro Wimmel:
  Infinity of Intermediate States Is Decidable for Petri Nets. ICATPN 2004: 426-434
• 
  Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee:
  Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. ICATPN 2004: 435-453

skipping 1 more match