Program PNSE 2017 & MoSEBIn 2017

PNSE 2017 & MoSEBIn 2017

Monday, 26 June 2017

09:00-09:20 Opening Session  Daniel Moldt, PC Chairs ClassRoom A.11 (First Floor)

09:20-10:30 Session 1 ClassRoom A.11 (First Floor)

09:20-09:55  José Jean-Paul Zanlucchi de Sousa 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

09:55-10:30  Soumia Mancer, Hammadi Bennoui. Coloured Petri Nets Based Diagnosis on Causal Models

10:30-11:00 Coffee Break

11:00-12:10 Session 2  ClassRoom A.11 (First Floor)

11:00-11:35  Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew Miner. Decision Diagrams for Petri Nets: which Variable Ordering?

11:35-12:10  Vladimir A. Bashkin. On the Resource Equivalences in Petri nets with Invisible Transitions

12:30-13:45 Lunch Break

13:45-14:45 Invited Lecture 1 – ClassRoom A.01 (Ground Floor)

  • Thomas Hildebrandt. Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs

14:45-15:15 Coffee Break

15:15-16:40 Session 3  ClassRoom A.11 (First Floor)

15:15-15:50  D. Dahmani, M.C. Boukala, H. Mountassir, S. Chouali. Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers

15:50-16:25  Karima Ennaoui, Lhouari Nourine, Farouk Toumani. Complexity Aspects of Web Services Composition

16:25-16:30  Simona Bernardi, Raúl Piracés Alastuey, Alejandro Solanas Bonilla, Raquel Trillo-Lado. Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases

16:30-16:35  Lars M. Kristensen, Gabriele Taentzer and Steffen Vaupel. Towards Verification of Connection-Aware Transaction Models for Mobile Applications

16:35-16:40  João Paulo Da Silva Fonseca, Jose Jean-Paul Zanlucchi de Souza Tavares. Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings

16:40-17:15 Poster Presentation + Coffee Break

17:15-18:15 Invited Lecture 2 – ClassRoom A.01 (Ground Floor)

  • Julia Padberg. Verification of Reconfigurable Petri Nets

 

Tuesday, 27 June 2017

09:15-10:15 Invited Lecture 3 – ClassRoom A.01 (Ground Floor)

  • José-Ángel Bañares. Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications

10:15-10:45 Coffee Break

10:45-12:45 Session 4 ClassRoom A.11 (First Floor)

10:45-11:20  Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz. Simulating Multiple Formalisms Concurrently Based on Reference Nets

11:20-11:45  Rowland Pitts, Hassan Gomaa. Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets

11:45-12:20  Martin Wincierz. A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents

12:20-12:45  Oscar Urra, Sergio Ilarri. Modeling Mobile Agents in Vehicular Networks

12:45-14:15 Lunch

14:15-15:25 Session 5 ClassRoom A.11 (First Floor)

14:15-14:50  Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz. Application of Model-based Testing on a Quorum-based Distributed Storage

14:50-15:25  Anna Gogolińska, Lukasz Mikulski, Marcin Piatkowski. GPU Computations and Memory Access Model Based on Petri Nets

15:25-15:45 Closing Session Daniel Moldt, PC Chairs ClassRoom A.11 (First Floor)

15:15-15:45 Coffee Break