default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th Petri Nets 2008: Xi'an, China
- 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
