ACSD/Petri Nets Workshops 2010: Braga, Portugal
Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes (Eds.): 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. CEUR-WS.org 2010 CEUR Workshop Proceedings 827
Biological Processes & Petri Nets (BioPPN)
- Murad Banaji: Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks. 7-22
- Monika Heiner, Cristian Mahulea, Manuel Silva: On the Importance of the Deadlock Trap Property for Monotonic Liveness. 23-38
- Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek: Modelling Gradients using Petri Nets. 39-53
- Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini: Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. 55-69
- Roberto Ross-León, Antonio Ramírez-Treviño, José Alejandro Morales, Javier Ruiz-León: Control of Metabolic Systems Modeled with Timed Continuous Petri Nets. 87-102
- Daniel Machado, Rafael S. Costa, Miguel Rocha, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira: Model Transformation of Metabolic Networks using a Petri Net Based Framework. 103-117
- Hermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero: Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. 119-133
- Mary Ann Blätke, Sonja Meyer, Christoph Stein, Wolfgang Marwan: Petri Net Modeling via a Modular and Hierarchical Approach Applied to Nociception. 135-146
Applications of Region Theory (ART)
- Robin Bergenthum, Andreas Harrer, Sebastian Mauser: Modeling and Mining of Collarobative Learnflows. 151-159
- Martin Riesz, Martin Seckár, Gabriel Juhás: PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. 191-205
- Ondrej Gallo, Tomás Necas, Fedor Lehocki: A Tool for the Synthesis of Asynchronous Speed-Independent Circuits. 207-211
Petri Nets and Software Engineering (PNSE)
- João M. Fernandes: Combining Petri Nets and UML for Model-based Software Engineering. 217-218
- Juan-Pablo López-Grao, José Manuel Colom: The Resource Allocation Problem in Software Applications: A Petri Net Perspective. 219-233
- Carlos A. Rovetto, Elia E. Cano, José Manuel Colom: Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. 251-265
- Marco Mascheroni, Thomas Wagner, Lars Wüstenberg: Verifying Reference Nets By Means of Hypernets: a Plugin for Renew. 285-299
- Daniel Moldt, José Ghislain Quenum, Christine Reese, Thomas Wagner: Improving a Workflow Management System with an Agent Flavour. 301-316
- Heiko Rölke: Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires: A Case Study. 317-329
- Thi Thanh Huyen Phan, Koichiro Ochimizu: Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System. 331-351
- Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, J. Schoenboeck, Wieland Schwinger: Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs. 353-368
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)
- Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg: Introduction. 371
- Kamila Barylska, Lukasz Mikulski, Edward Ochmanski: On Persistent Reachability in Petri Nets. 373-384
- Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker: Process Refinement and Asynchronous Composition with Modalities. 385-401
- Kees M. van Hee, Zheng Liu: Generating Benchmarks by Random Stepwise Refinement of Petri Nets. 403-417
- Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi: Specification of Decision Diagram Operations. 437-451
- Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny: Towards Automatic Composition of Web Services: A SAT-Based Phase. 453-473
- Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi: Improving the Significance of Benchmarks for Petri Nets Model Checkers. 475-489
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team