default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACSD/Petri Nets Workshops 2010: Braga, Portugal
- Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes:
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 2012
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 Suárez:
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à, 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. 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)
- Jörg Desel, Alex Yakovlev:
Introduction. 149 - Robin Bergenthum, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Collarobative Learnflows. 151-159 - Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of General Petri Nets with Localities. 161-174 - Marc Solé, Josep Carmona:
Incremental Process Mining. 175-190 - 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)
- 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, Johannes 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
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-11-22 19:49 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:
