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 Workshop Proceedings 827 CEUR-WS.org 2010 
Biological Processes & Petri Nets (BioPPN)
- Claudine Chaouiya, Monika Heiner:
Introduction.
5-6
- 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
- Fei Liu, Monika Heiner:
Colored Petri nets to Model and Simulate Biological Systems.
71-85
- 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)
Petri Nets and Software Engineering (PNSE)
- Michael Duvigneau, Daniel Moldt:
Introduction.
215-216
- 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
- Piotr Chrzastowski-Wachtel, Jakub Rauch:
IRS-MT: Tool for Intelligent Resource Allocation.
235-250
- Carlos A. Rovetto, Elia E. Cano, José Manuel Colom:
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.
251-265
- Marco Mascheroni, Fabio Farina:
Nets-Within-Nets Paradigm and Grid Computing.
267-283
- 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
- Michal Knapik, Wojciech Penczek:
Bounded Model Checking for Parametric Timed Automata.
419-435
- 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
Last update Mon May 21 02:19:48 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
