29. Petri Nets 2008: Xi'an, China

Invited Papers

• Gustavo Alonso:
  Challenges and Opportunities for Formal Specifications in Service Oriented Architectures. 1-6
  
• Andrzej Ehrenfeucht, Grzegorz Rozenberg:
  Modeling Interactions between Biochemical Reactions. 7
  
• Jifeng He:
  Transaction Calculus. 8
  
• Huimin Lin:
  Stratifying Winning Positions in Parity Games. 9-11
  
• Carl Adam Petri:
  On the Physical Basics of Information Flow. 12
  

Regular Papers

• Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
  Faster Unfolding of General Petri Nets Based on Token Flows. 13-32
  
• Eike Best, Philippe Darondeau:
  Decomposition Theorems for Bounded Persistent Petri Nets. 33-51
  
• Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
  Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. 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. 72-91
  
• Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
  A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. 92-111
  
• Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev:
  Synthesis of Nets with Step Firing Policies. 112-131
  
• Lay G. Ding, Lin Liu:
  Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. 132-151
  
• Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen:
  Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. 152-170
  
• Paul Fleischer, Lars Michael Kristensen:
  Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. 171-190
  
• Guy Edward Gallasch, Jonathan Billington:
  Parametric Language Analysis of the Class of Stop-and-Wait Protocols. 191-210
  
• Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
  Hierarchical Set Decision Diagrams and Automatic Saturation. 211-230
  
• Kunihiko Hiraishi:
  Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. 231-250
  
• Ryszard Janicki, Dai Tri Man Le:
  Modelling Concurrency with Quotient Monoids. 251-269
  
• Matthias Jantzen, Georg Zetzsche:
  Labeled Step Sequences in Petri Nets. 270-287
  
• Kais Klai, Denis Poitrenaud:
  MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. 288-306
  
• Morgan Magnin, Didier Lime, Olivier H. Roux:
  Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). 307-326
  
• Roland Meyer, Victor Khomenko, Tim Strazny:
  A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. 327-347
  
• Hendrik Oberheid, Dirk Söffker:
  Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. 348-367
  
• Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik:
  Process Discovery Using Integer Linear Programming. 368-387
  

Tool Papers

• Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
  Synthesis of Petri Nets from Scenarios with VipTool. 388-398
  
• Lawrence Cabac, Till Dörges, Heiko Rölke:
  A Monitoring Toolset for Paose. 399-408
  
• João Lourenço, Luís Gomes:
  Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. 409-418
  
• Fausto Sessego, Alessandro Giua, Carla Seatzu:
  HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. 419-428
  

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page