29. Petri Nets 2008:
Xi'an,
China
Kees M. van Hee, Rüdiger Valk (Eds.):
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 BibTeX
Invited Papers
Regular Papers
- Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows.
13-32
Electronic Edition (link) BibTeX
- Eike Best, Philippe Darondeau:
Decomposition Theorems for Bounded Persistent Petri Nets.
33-51
Electronic Edition (link) BibTeX
- Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.
52-71
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev:
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.
92-111
Electronic Edition (link) BibTeX
- Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev:
Synthesis of Nets with Step Firing Policies.
112-131
Electronic Edition (link) BibTeX
- Lay G. Ding, Lin Liu:
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.
132-151
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Paul Fleischer, Lars Michael Kristensen:
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
171-190
Electronic Edition (link) BibTeX
- Guy Edward Gallasch, Jonathan Billington:
Parametric Language Analysis of the Class of Stop-and-Wait Protocols.
191-210
Electronic Edition (link) BibTeX
- Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation.
211-230
Electronic Edition (link) BibTeX
- Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
231-250
Electronic Edition (link) BibTeX
- Ryszard Janicki, Dai Tri Man Le:
Modelling Concurrency with Quotient Monoids.
251-269
Electronic Edition (link) BibTeX
- Matthias Jantzen, Georg Zetzsche:
Labeled Step Sequences in Petri Nets.
270-287
Electronic Edition (link) BibTeX
- Kais Klai, Denis Poitrenaud:
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.
288-306
Electronic Edition (link) BibTeX
- Morgan Magnin, Didier Lime, Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
307-326
Electronic Edition (link) BibTeX
- Roland Meyer, Victor Khomenko, Tim Strazny:
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.
327-347
Electronic Edition (link) BibTeX
- Hendrik Oberheid, Dirk Söffker:
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning.
348-367
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Tool Papers
Copyright © Sat May 16 22:58:12 2009
by Michael Ley (ley@uni-trier.de)
