ACSD/Petri Nets Workshops

Keyphrases

Publications

volume 827, 2012

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 ACSD/Petri Nets Workshops 827 (2012)

2010

Michal Knapik, Wojciech Penczek
Bounded Model Checking for Parametric Timed Automata. ACSD/Petri Nets Workshops (2010)
Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
Introduction. ACSD/Petri Nets Workshops (2010)
Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. ACSD/Petri Nets Workshops (2010)
Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Towards Automatic Composition of Web Services: A SAT-Based Phase. ACSD/Petri Nets Workshops (2010)
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
Improving the Significance of Benchmarks for Petri Nets Model Checkers. ACSD/Petri Nets Workshops (2010)
Marco Mascheroni, Fabio Farina
Nets-Within-Nets Paradigm and Grid Computing. ACSD/Petri Nets Workshops (2010)
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops (2010)
Juan-Pablo López-Grao, José Manuel Colom
The Resource Allocation Problem in Software Applications: A Petri Net Perspective. ACSD/Petri Nets Workshops (2010)
Fei Liu, Monika Heiner
Colored Petri nets to Model and Simulate Biological Systems. ACSD/Petri Nets Workshops (2010)
Robin Bergenthum, Andreas Harrer, Sebastian Mauser
Modeling and Mining of Collarobative Learnflows. ACSD/Petri Nets Workshops (2010)
Kees M. van Hee, Zheng Liu
Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ACSD/Petri Nets Workshops (2010)
Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek
Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops (2010)
Marco Mascheroni, Thomas Wagner, Lars Wüstenberg
Verifying Reference Nets By Means of Hypernets: a Plugin for Renew. ACSD/Petri Nets Workshops (2010)
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
Specification of Decision Diagram Operations. ACSD/Petri Nets Workshops (2010)
João M. Fernandes
Combining Petri Nets and UML for Model-based Software Engineering. ACSD/Petri Nets Workshops (2010)
Mary Ann Blätke, Sonja Meyer, Christoph Stein, Wolfgang Marwan
Petri Net Modeling via a Modular and Hierarchical Approach Applied to Nociception. ACSD/Petri Nets Workshops (2010)
Martin Riesz, Martin Seckár, Gabriel Juhás
PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. ACSD/Petri Nets Workshops (2010)
Heiko Rölke
Automata and Petri Net Models for Visualizing and Analyzing Complex Questionnaires: A Case Study. ACSD/Petri Nets Workshops (2010)
Claudine Chaouiya, Monika Heiner
Introduction. ACSD/Petri Nets Workshops (2010)
Piotr Chrzastowski-Wachtel, Jakub Rauch
IRS-MT: Tool for Intelligent Resource Allocation. ACSD/Petri Nets Workshops (2010)
Murad Banaji
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks. ACSD/Petri Nets Workshops (2010)
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger
Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs. ACSD/Petri Nets Workshops (2010)
Jörg Desel, Alex Yakovlev
Introduction. ACSD/Petri Nets Workshops (2010)
Thi Thanh Huyen Phan, Koichiro Ochimizu
Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System. ACSD/Petri Nets Workshops (2010)
Ondrej Gallo, Tomás Necas, Fedor Lehocki
A Tool for the Synthesis of Asynchronous Speed-Independent Circuits. ACSD/Petri Nets Workshops (2010)
Monika Heiner, Cristian Mahulea, Manuel Silva Suárez
On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops (2010)
Daniel Moldt, José Ghislain Quenum, Christine Reese, Thomas Wagner
Improving a Workflow Management System with an Agent Flavour. ACSD/Petri Nets Workshops (2010)
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. ACSD/Petri Nets Workshops (2010)
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
On Persistent Reachability in Petri Nets. ACSD/Petri Nets Workshops (2010)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops (2010)
Michael Duvigneau, Daniel Moldt
Introduction. ACSD/Petri Nets Workshops (2010)
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. ACSD/Petri Nets Workshops (2010)
Marc Solé, Josep Carmona
Incremental Process Mining. ACSD/Petri Nets Workshops (2010)
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. ACSD/Petri Nets Workshops (2010)
Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops (2010)