[CEUR Workshop Proceedings] Vol-827

Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

Recent Advances in Petri Nets and Concurrency

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)

Braga, Portugal, June, 2010.

Edited by

Susanna Donatelli 1
Jetty Kleijn 2
Ricardo J. Machado 3
João M. Fernandes 4

1 Universita di Torino, Dipartimento di Informatica, Corso Svizzera 185, I-10149 Torino, Italy
2 Leiden University, Leiden Institute of Advanced Computer Science, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands
3 Universidade do Minho, Escola de Engenharia, Centro ALGORITMI / Dept. Sistemas de Informação, Campus de Azurém, 4800-058 Guimarães, Portugal
4 Universidade do Minho, Escola de Engenharia, Centro ALGORITMI / Dept. Informática, Campus de Gualtar, 4710-057 Braga, Portugal

Table of Contents

    Biological Processes & Petri Nets (BioPPN)

  1. Introduction 5-6
    Claudine Chaouiya, Monika Heiner
  2. Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks 7-22
    Murad Banaji
  3. On the Importance of the Deadlock Trap Property for Monotonic Liveness 23-38
    Monika Heiner, Cristian Mahulea, Manuel Silva
  4. Modelling Gradients using Petri Nets 39-53
    Laura M.F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek
  5. Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server 55-69
    Alessio Angius, Gianfranco Balbo, Francesca Cordero, Andras Horváth, Daniele Manini
  6. Colored Petri nets to Model and Simulate Biological Systems 71-85
    Fei Liu, Monika Heiner
  7. Control of Metabolic Systems Modeled with Timed Continuous Petri Nets 87-102
    Roberto Ross-León, Antonio Ramirez-Treviño, José Alejandro Morales, Javier Ruiz-León
  8. Model Transformation of Metabolic Networks using a Petri Net Based Framework 103-117
    Daniel Machado, Rafael S. Costa, Miguel Rocha, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira
  9. Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts 119-133
    Hermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero, Edelmira Valero
  10. Petri Net Modeling via a Modular and Hierarchical Approach Applied to Nociception 135-146
    Mary Ann Blätke, Sonja Meyer, Christoph Stein, Wolfgang Marwan
  11. Applications of Region Theory (ART)

  12. Introduction 149-149
    Jörg Desel, Alex Yakovlev
  13. Modeling and Mining of Collarobative Learnflows 151-159
    Robin Bergenthum, Andreas Harrer, Sebastian Mauser
  14. Synthesis of General Petri Nets with Localities 161-174
    Maciej Koutny, Marta Pietkiewicz-Koutny
  15. Incremental Process Mining 175-190
    Marc Solé, Josep Carmona
  16. PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes 191-205
    Martin Riesz, Martin Sečkár, Gabriel Juhás
  17. A Tool for the Synthesis of Asynchronous Speed-Independent Circuits 207-211
    Ondrej Gallo, Tomáš Nečas, Fedor Lehocki
  18. Petri Nets and Software Engineering (PNSE)

  19. Introduction 215-216
    Michael Duvigneau, Daniel Moldt
  20. Combining Petri Nets and UML for Model-based Software Engineering 217-218
    João M. Fernandes
  21. The Resource Allocation Problem in Software Applications: A Petri Net Perspective 219-233
    Juan-Pablo López-Grao, José-Manuel Colom
  22. IRS-MT: Tool for Intelligent Resource Allocation 235-250
    Piotr Chrząstowski-Wachtel, Jakub Rauch
  23. Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets 251-265
    Carlos Rovetto, Elia Cano, José-Manuel Colom
  24. Nets-Within-Nets Paradigm and Grid Computing 267-283
    Marco Mascheroni, Fabio Farina
  25. Verifying Reference Nets By Means of Hypernets: a Plugin for Renew 285-299
    Marco Mascheroni, Thomas Wagner, Lars Wüstenberg
  26. Improving a Workflow Management System with an Agent Flavour 301-316
    Daniel Moldt, José Quenum, Christine Reese, Thomas Wagner
  27. Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires: A Case Study 317-329
    Heiko Rölke
  28. Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System 331-351
    Phan Thi Thanh Huyen, Koichiro Ochimizu
  29. Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs 353-368
    M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger
  30. Abstractions for Petri Nets and Other models of Concurrency (AP- NOC) and Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo)

  31. Introduction 371-371
    Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
  32. On Persistent Reachability in Petri Nets 373-384
    Kamila Barylska, Łukasz Mikulski, Edward Ochmanski
  33. Process Refinement and Asynchronous Composition with Modalities 385-401
    Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
  34. Generating Benchmarks by Random Stepwise Refinement of Petri Nets 403-417
    Kees M. van Hee, Zheng Liu
  35. Bounded Model Checking for Parametric Timed Automata 419-435
    Michał Knapik, Wojciech Penczek
  36. Specification of Decision Diagram Operations 437-451
    Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
  37. Towards Automatic Composition of Web Services: A SAT-Based Phase 453-473
    Wojciech Penczek, Agata Półrola, Andrzej Zbrzezny
  38. Improving the Significance of Benchmarks for Petri Nets Model Checkers 475-489
    Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi

The whole proceedings can also be downloaded as a single file (pdf).

25-Jan-2012: submitted by Ricardo J. Machado
26-Jan-2012: published on CEUR-WS.org