default search action
PNSE @ Petri Nets 2017: Zaragoza, Spain
- Daniel Moldt, Lawrence Cabac, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. CEUR Workshop Proceedings 1846, CEUR-WS.org 2017
Invited Talks
- José Ángel Bañares:
Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications. 13-26 - Julia Padberg:
Verification of Reconfigurable Petri Nets. 27-28
Long Presentations
- Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: Which Variable Ordering? 31-50 - Vladimir A. Bashkin:
On the Resource Equivalences in Petri nets with Invisible Transitions. 51-68 - Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali:
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. 69-84 - Karima Ennaoui, Lhouari Nourine, Farouk Toumani:
Complexity Aspects of Web Services Composition. 85-104 - Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski:
GPU Computations and Memory Access Model Based on Petri Nets. 105-122 - Soumia Mancer, Hammadi Bennoui:
Coloured Petri Nets Based Diagnosis on Causal Models. 123-136 - Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz:
Simulating Multiple Formalisms Concurrently Based on Reference Nets. 137-156 - José Jean-Paul Zanlucchi de Souza Tavares, Rodrigo Hiroshi Murofushi, Lucas Henriques Silva, Gustavo Rezende Silva:
Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control. 157-176 - Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Application of Model-based Testing on a Quorum-based Distributed Storage. 177-196 - Martin Wincierz:
A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents. 197-214
Short Papers
- Rowland Pitts, Hassan Gomaa:
Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets. 217-222
Poster Presentation
- Simona Bernardi, Raúl Piraces Alastuey, Alejandro Solanas Bonilla, Raquel Trillo Lado:
Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases. 225-226 - Lars Michael Kristensen, Gabriele Taentzer, Steffen Vaupel:
Towards Verification of Connection-Aware Transaction Models for Mobile Applications. 227-228 - João Paulo da Silva Fonseca, José Jean-Paul Zanlucchi de Souza Tavares:
Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings. 229-230
MoSEBIn Paper
- Oscar Urra, Sergio Ilarri:
Modeling Mobile Agents in Vehicular Networks. 233-238
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.